AbsInt Angewandte Informatik GmbH

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