481 search results - page 68 / 97 » Model Checking Abstract State Machines and Beyond |
101
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
111
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
184
Voted
WRLA
2010
15 years 9 days ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
113
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
106
click to vote
JSSPP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...