Episode 42: Static Analysis with Daniel Kästner (AbsInt)


Manage episode 311662268 series 3164291
Oscar Slotosch tarafından hazırlanmış olup, Player FM ve topluluğumuz tarafından keşfedilmiştir. Telif hakkı Player FM'e değil, yayıncıya ait olup; yayın direkt olarak onların sunucularından gelmektedir. Abone Ol'a basarak Player FM'den takip edebilir ya da URL'yi diğer podcast uygulamalarına kopyalarak devam edebilirsiniz.

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.

65 bölüm