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