1054 search results - page 4 / 211 » Abstract Regular Model Checking |
62
Voted
CAV
2001
Springer
15 years 2 months ago
2001
Springer
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
102
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
86
Voted
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
72
Voted
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...