https://www.absint.com/projects.htm
AbsInt: Projects
absintprojects
https://www.absint.com/
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
static analysisformal verificationabsintsafetycritical