angewandte
Recherche
Résultats trouvés: 1
AbsInt Analysis Tools for Embedded Systems « angewandte
(Clics: 248;Site ajouté: Jul 14, 2015, angewandte)
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
absint angewandte informatik abstract interpretation compiler technology embedded system embedded