Formal verification of space systems designed with TASTE

I Dragomir, M Bozga, Iulian Ober +4

Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to desc…