525 search results - page 14 / 105 » Model Checking Systems of Replicated Processes with Spin |
143
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
139
click to vote
AC
1999
Springer
15 years 7 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
136
click to vote
EUROSYS
2009
ACM
16 years 14 days ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
122
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
131
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...