AbsInt provides advanced development tools for embedded sys­tems, and tools for validation, verification and certification of safety-critical software.
DE-66564 Ottweiler-Fuerth,
DE-66121 Saarbrücken