481 search results - page 61 / 97 » Model Checking Abstract State Machines and Beyond |
116
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
133
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
120
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
127
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
COMPLEX
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...