Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.

The AbsInt toolchain for static analysis and formal verification of safety-critical and mission-critical software

AbsInt provides advanced development tools for embedded sys­tems, and tools for validation, veri­fication and certification of safety-critical software. Founded in 1998, the privately-held company now …

RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recom­mendations, and other coding guidelines.

Astrée is a static program analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical applications written or generated in C or C++

Safety standards like ISO 26262, DO-178B, DO-178C, IEC-61508, and EN-50128 require identifying functional and non-functional hazards and demonstrating that the soft­ware does not violate the …

AbsInt offers consultancy, training, and service in the areas of static analysis, compiler technology, and software validation.

AbsInt: Contact Information, Customer Support, Street Address, Directions by Car, Arriving by Train

Products Services Projects Events Contact © AbsInt. Landsat imagery courtesy of NASA Goddard Space Flight Center and U.S. Geological Survey. Legal notices. Privacy policy.

AbsInt: white papersTU Munich, Institute of Flight System Dynamics (5MB) MTU Friedrichshafen (600kB) Select publications Automatic Sound Static Analysis for ...