Next:
Introduction
Deliverable 1
M
ETHODS AND
T
OOLS FOR
E
XTENDED
A
UTOMATA
Year 1 : October 2000 - September 2001
Date of preparation:
October 2001
Contributors: Paris, Liège, Edinburgh, Uppsala, Grenoble
Introduction
Analyzing new types of extended automata
Systems with procedures
Systems modeled by timed Petri nets
Systems with real variables
Fair parametric extended automata
Systems with FIFO channels
Effective lossy queue languages
General results on methodology of verification
New tools and techniques
Efficient state-space exploration of Petri nets
Incremental Construction of Abstractions
Slicing techniques
The TReX tool
Counting the elements of finite-state set representations
Applying extended automata analysis methods
The IF environment
The MASCARA case study
Bibliography
About this document ...