Absint.com
- Title
- AbsInt: Analysis Tools for Embedded Systems
- Meta 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 for static program analysis.
- Meta Keywords
- absint,angewandte,informatik,abstract,interpretation,compiler,technology,embedded,system,embedded,system,software,WCET,analysis,stack,usage,run,time,error,value,postpass,code,optimization,static,program,graph,visualization,verified,compilation