AbsInt Analysis Tools for Embedded Systems

(Clics: 246;Site ajouté: Jul 14, 2015)

• LIEN: absint.fr
• Pays: France
• mot-clé 1: absint
• mot-clé 2: angewandte
• mot-clé 3: informatik
• mot-clé 4: abstract
• mot-clé 5: interpretation
• mot-clé 6: compiler
• mot-clé 7: technology
• mot-clé 8: embedded
• mot-clé 9: system
• mot-clé 10: embedded

Description:

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