aiSee Graph Visualization

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.

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