AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are aiT WCET analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, RuleChecker for checking coding guidelines, Astrée for proving the absence of runtime errors and data races, TimingProfiler for computing WCET estimates in early stages, and the formally verified optimizing compiler CompCert.
NEW: TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates.
AbsInt's Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to DO-178B/C and other safety norms.
AbsInt, founded in 1998, celebrates its 20th anniversary this year. In 2003, AbsInt was awarded a European IST Prize.
Our customers are located in more than 40 countries all over the world. AIrbus used AbsInt tools for certifying A380 flight control software. Other references include MTU Friedrichshafen, Areva, OHB, ESA, Daimler, Honda, u-blox, Helbako, ebm-papst and many more, see https://www.absint.com/success.htm.