SPIN
2004
Springer
14 years 3 months ago
2004
Springer
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...