Broadcast date: November 20th, 2023, 19 CET
Join us on the new MBSE Podcast episode as we explore automated reasoning for SysML v2 with guest expert Jamie Smith from Imandra. Tune in for a compelling discussion on the advancements in MBSE and the critical role of formal verification in designing deterministic and error-resistant systems.
The robust foundation of SysML v2 lays the groundwork for harnessing cutting-edge automated reasoning technologies. This enables users of SysML v2 to conduct thorough analyses, including formal verification of their models, benefit from AI-driven testing, and utilize large language models like ChatGPT, among other advanced capabilities.
We’ll examine a scenario where SysML v2 is transformed into Imandra Modeling Language (IML), setting the stage for the advanced automated reasoning capabilities of Imandra.