Parallel and Distributed Model Checking in Eddy

@inproceedings{Melatti2006ParallelAD,
  title={Parallel and Distributed Model Checking in Eddy},
  author={Igor Melatti and Robert Palmer and Geoffrey Sawaya and Yu Yang and R. M. Kirby and Ganesh Gopalakrishnan},
  booktitle={SPIN},
  year={2006}
}
Model checking of safety properties can be scaled up by pooling the CPU and memory resources of multiple computers. As compute clusters containing 100s of nodes, with each node realized using multi-core (e.g., 2) CPUs will be widespread, a model checker based on the parallel (shared memory) and distributed (message passing) paradigms will more efficiently use the hardware resources. Such a model checker can be designed by having each node employ two shared memory threads that run on the… CONTINUE READING

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 31 CITATIONS

Industrial Strength Distributed Explicit State Model Checking

  • 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
  • 2010
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Toward reliable and efficient message passing software through formal analysis

  • Proceedings 20th IEEE International Parallel & Distributed Processing Symposium
  • 2006
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

The role of model checking in software engineering

  • Frontiers of Computer Science
  • 2016
VIEW 1 EXCERPT
CITES BACKGROUND

SyLVaaS: System Level Formal Verification as a Service

  • 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
  • 2015
VIEW 2 EXCERPTS
CITES METHODS