| Document Date: 2014-05-14 04:39:47
Open Document File Size: 140,69 KBShare Result on Facebook
City Saarbrücken / / Company AbsInt Angewandte Informatik GmbH / / Country Germany / / / / IndustryTerm safety-critical software / software safety / verification tool technology / model-based development tools / healthcare technology sectors / software efficiency / large-scale safety-critical software / compiler technology / software projects / software quality process / formal verification tools / development tools / real-time systems / program analysis tools / safety-critical applications / / / Position programmer / / ProgrammingLanguage C / / TVStation WCET / / Technology verification tool technology / GUI / compiler technology / / URL www.AbsInt.com / /
SocialTag |
Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety