Next:
Introduction
Deliverable 4
I
NTEGRATION OF
A
BSTRACTION AND
S
YMBOLIC
A
NALYSIS
T
OOLS FOR
E
XTENDED
A
UTOMATA
Year 1 : October 2000 - September 2001
Date of preparation:
October 2001
Contributors: Paris, Liège, Edinburgh, Grenoble
Introduction
Specification and validation environment
Decision procedures and Symbolic representations
Infinite-state Symbolic Reachability Analysis
Finite-state Analysis and Model-checking
The Model Checking Kit
The IF.OPEN tool-set
Abstraction and reduction techniques
InVeSt
The LIVE and SLICE tools
About this document ...