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.
Podden och tillhörande omslagsbild på den här sidan tillhör Oscar Slotosch. Innehållet i podden är skapat av Oscar Slotosch och inte av, eller tillsammans med, Poddtoppen.