 AbsIntCompany Description:Founded in February 1998, AbsInt Angewandte Informatik GmbH is a spin-off from the Department of Compiler Construction and Programming Languages at Saarland University, Germany. AbsInt's core competencies:- analysis and optimization of embedded applications, processes and systems - analysis of safety and reliability propertiesof embedded software - compiler technology AbsInt has been instrumental in a number of successful industry projects. One such example is a compaction tool for mobile phone software developed for Siemens ICM. Other examples include the development and integration of compiler components, software optimizations to enhance performance, tools for conducting reliability and safety checks, etc. Worldwide Headquarters:
|