AbsInt provides state-of-the-art development tools for embedded systems with a focus on validation, verification, and certification of safety-critical and security-relevant software.

Our software tools are used to satisfy verification obligations of safety and security norms in all industry domains, including DO-178C, ISO 26262, ISO 21434, IEC 61508, IEC 60880, and EN 50716. They find critical software defects, and contribute to improving software quality.

AbsInt Angewandte Informatik GmbH was founded in 1998 and is a privately held company based in Saarbrücken, Germany. For more than a quarter of a century, we have been supplying customers from all over the world and from various industries, including aerospace, automotive, medic ...