Absint.com - AbsInt: Cutting-Edge Tools for Static Analysis of Safety-Critical Software
Hier klicken
um zu Voten!
AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.
- Platzierung
- Noch nicht platziert
- Votes
- Noch keine erhalten
- Beliebt seit
- 17.05.2010
Informationen zur Webseite
| Domain | absint.com |
|---|---|
| Homepage URL | http://www.absint.com |
| Keywords | absint angewandte informatik abstract interpretation compiler technology embedded system software wcet analysis stack usage run time error value postpass code optimization static program graph visualization verified compilation |
| Sprache | englisch |