3082 search results - page 34 / 617 » Deviation Analysis: A New Use of Model Checking |
139
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
143
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
143
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
150
click to vote
AAAI
2010
15 years 6 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
148
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...