Summary

Airbus France has a 20-year history of utilizing these tools to develop safety-critical avionics software across various aircraft, including the A380’s flight control system and onboard software vital for the SmallGEO and GALILEO FOC satellite communication and navigation platforms, respectively.

Title

AbsInt: Static Analysis and Formal Verification of Safety-Critical Software

Description

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

Keywords

software, tools, stack, analysis, safety, control, timing, development, using, applications, behavior, code, static, errors, analyses, qualification, absence

NS Lookup

A 212.132.76.42

Dates

Created 2026-03-09

Updated 2026-03-09

Summarized 2026-03-10