SPIN
2010
Springer
13 years 3 months ago
2010
Springer
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...