Contents
Contents
Contents
Contents
Invoking ConcurInterproc
The "Simple" language
Program Sample
Syntax and informal semantics
Program.
Instructions.
Expressions.
Expressions.
Boolean expressions.
Bounded integer and enumerated expressions.
Numerical expressions.
Examples of numerical expressions.
Formal semantics (obsolete,to be updated)
Semantics domains.
Semantics of expressions.
Semantics of programs
What ConcurInterproc does for you
Single forward/reachability analysis
Single backward/coreachability analysis
Combined forward/backward analyses
Experiments
As of 02/02/2009
As of 04/06/2009
References
Contents
Contents