Episode 41: Automated Reasoning for SysML v2 with Jamie Smith

The MBSE Podcast

Tim & Christian에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Tim & Christian 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.

1y ago 41:19

M4A•에피소드 홈

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.

You can join us live on the YouTube Livestream on November 20th, 2023, at 19:00 CET or later on YouTube, Spotify, iTunes, Amazon Music, or Google Podcasts.

Der Beitrag Episode 41: Automated Reasoning for SysML v2 with Jamie Smith erschien zuerst auf The MBSE Podcast.

72 에피소드

#Tech #Tim And Christian