2468 search results - page 17 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
93
Voted
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—We consider a distributed shuffling algorithm for sharing data in a distributed network. Nodes executing the algorithm periodically contact each other and exchange data. The be...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
110
click to vote
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
ENTCS
2006
14 years 11 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
114
Voted
IFM
2007
Springer
15 years 5 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...