Company Profile

AbsInt GmbH

Company Description

AbsInt provides advanced development tools for embedded sys­tems, and tools for validation, verification and certification of safety-critical software.

Our static program analyses provide means to reduce testing and validation costs. The underlying theory of abstract interpretation en­ables the system­atic derivation of provably correct analyses. The analyses are performed at compile time and provide results that hold for any program execution and any possible input scenario.
 

Contact Us