))
Episode 42: Static Analysis with Daniel Kästner (AbsInt)
Manage episode 311662268 series 3164291
Content provided by Oscar Slotosch. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Oscar Slotosch or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ppacc.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 [email protected] and all information about Validas can be found on our website, validas.de.
71 episodes
Share
