24 search results - page 4 / 5 » Simulation-Based CTMC Model Checking: An Empirical Evaluatio... |
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
AMAI
2010
Springer
13 years 3 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
IVA
2010
Springer
13 years 4 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
ENTCS
2008
13 years 5 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
ATVA
2009
Springer
14 years 10 days ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...