AbsInt: Cutting-Edge Tools for Static Analysis of Safety-Critical Soft

- absint.com

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.

1,286,475 $ 960.00


AbsInt: Cutting-Edge Tools for Static Analysis of Safety-Critical Soft

- absint.de

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.

Not Applicable $ 8.95


AbsInt: Analysis Tools for Embedded Systems

- program-analysis.com

AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis, worst-case execution time prediction and software visualization

Not Applicable $ 8.95