))
Episode 42: Static Analysis with Daniel Kästner (AbsInt)
Manage episode 311662268 series 3164291
Inhalt bereitgestellt von Oscar Slotosch. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Oscar Slotosch oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.
In this episode Dr. Oscar Slotosch is joined by Dr. Daniel Kästner, co-founder of AbsInt and accomplished expert on safety-critical embedded systems, for a discussion of the applications of static analysis to safety-critical software and the advanced development tools offered by AbsInt. Tune in to learn about the static code analyzer for C and C++ that can prove the absence of runtime errors and invalid concurrent behavior (Astrée) and AbsInt’s formally verified production compiler (CompCert), as well as their process of development and real-world applications.
Additional information about AbsInt can be found at absint.com.
To hear Oscar’s discussion with Marcel Beemster, join us in Episode 20: SuperTest with Marcel Beemster (Solid Sands), and to learn more about C++ exceptions for safety-critical projects, listen in to Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI.
Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.
We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.
68 Episoden
Teilen
