Next:
Introduction
Deliverable 2
M
ETHODS AND
A
LGORITHMS FOR
P
ARAMETRIC
R
EASONING
Year 1 : October 2000 - September 2001
Date of preparation:
October 2001
Contributors: Paris, Edinburgh, Uppsala, Grenoble, Weizmann Inst.
Introduction
Regular Model Checking
Invariant Generation
Liveness Properties
Non-regular languages
Automata with parameters
Implementation Effort
Bibliography
About this document ...