The ADVANCE Project Homepage
First Year Deliverables
Deliverable 1
: Methods and Tools for Extended Automata (
Postscript
)
Deliverable 2
: Methods and Algorithms for Parametric Reasoning (
Postscript
)
Deliverable 3
: Common Model Description Language (
Postscript
)
Deliverable 4
: Integration of Abstraction and Symbolic Analysis Tools for Extended Automata (
Postscript
)
Deliverable 5
: Progress Report (
Postscript
)
Full list of Publications