3224 search results - page 81 / 645 » On Checking Model Checkers |
151
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
186
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
177
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
149
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
144
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...