))
Episode 42: Static Analysis with Daniel Kästner (AbsInt)
Manage episode 311662268 series 3164291
Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.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.
67 episode
Bagikan
