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


aiSee: Graph Visualization

- aisee.com

aiSee automatically calculates a customizable layout of graphs specified in GDL (Graph Description Language). This layout is then displayed, and can be interactively explored, printed, and exported to various formats.

Not Applicable $ 8.95