The ADVANCE Project Homepage

Second Year Deliverables

Deliverables 6: Tools for efficient analysis of extended automata
Deliverables 7 and 8: Methods and tools for parametric reasoning, methods and algorithms for dynamic networks
Deliverable 9: Common Interface for a general validation environment
Deliverable 10: Integration of abstraction tools with efficient finite-state tools
Deliverable 11: Integration of tools for parametric reasoning
Deliverable 12: Modeling and verifying the PGM protocol, Parameterized systems with resource sharing
Deliverable 13: Progress Report
Full list of Publications