Welcome | |
Teaching | |
Research | |
Projects | |
CV | |
Contact info | |
Other stuff | |
Links |
This paper reviews a framework (Godefroid, Huth, Jagadeesan, 2001) for verifying complex systems by abstracting them as modal transition systems (Larsen and Thomsen, 1988), or MTS for short, in order to reduce the cost of performing model-checking. MTS's are interesting in their own right, as a means to provide partial specifications of dynamic systems. .
The complete text is available in the following format: