2661 search results - page 92 / 533 » Model Checking Performability Properties |
113
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
144
click to vote
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
136
Voted
JSW
2007
15 years 2 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
131
Voted
QEST
2010
IEEE
15 years 10 days ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
115
click to vote
SNPD
2008
15 years 3 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...