In modern software and systems engineering formal verification gets more and more important to ensure the dependability of (critical) systems. We work on seamlessly integrating formal verification tools and algorithms with and improving them specifically for use with MBSE workflows
Read More
![[MVSE] Modular Verification for Model Based Systems Engineering [MVSE] Modular Verification for Model Based Systems Engineering](https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2021/03/Architecture_and_Entity_Vees_Intersecting.gif)