 |
|
 |
|
 |
| |
AbsInt
Last updated: February 15, 2008
back
- Manufacturer:
- AbsInt
- Product 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.
|
|
|
|
|
|
