2468 search results - page 27 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
122
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
138
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
143
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
110
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
106
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— A three stage network protocol that can achieve coded and cooperative diversity to improve network coverage is investigated. In Stage 1, a cyclic redundancy check code is used ...