Model Based Space Systems and Software Engineering ~ MBSE2021

Model Checking for Formal Verification of Space Systems

29 Sept 2021, 14:05

20m

Virtual Event

Session 3 ~ Model Verification and Validation

Speakers

Dr Michał Kurowski (N7 Space sp. z.o.o.)Mr Rafał Babski (N7 Space sp. z.o.o.)Dr Steve Duncan (Thales Alenia Space UK)

Description

Prerecorded presentation - https://youtu.be/Yoa89a84cNs

Presentation materials

1405 - Model Checking for Formal Verification of Space Systems.pdf

1405 - model checking for formal verification of space systems.pdf

1405 - Q&A.pdf