Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.
Stephane GaubertPublished in: FORMATS (2009)
Keyphrases
- static analysis
- discrete event systems
- dynamic analysis
- petri net
- complex systems
- source code
- telecommunication networks
- model based diagnosis
- discrete event
- symbolic execution
- abstract interpretation
- building blocks
- failure diagnosis
- regular expressions
- java card
- timed petri nets
- test generation
- test suite
- dynamic systems
- temporal constraints
- object oriented
- database