Parallelizing the Murϕ verifier
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 256-267
- https://doi.org/10.1007/3-540-63166-6_26
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Finite state machine verification on MIMD machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Stanford FLASH multiprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A parallel algorithm for constructing binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The state of SpinPublished by Springer Nature ,1996
- LogGPPublished by Association for Computing Machinery (ACM) ,1995
- New techniques for efficient verification with implicitly conjoined BDDsPublished by Association for Computing Machinery (ACM) ,1994
- LogP: towards a realistic model of parallel computationPublished by Association for Computing Machinery (ACM) ,1993
- The Stanford Dash multiprocessorComputer, 1992
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Universal classes of hash functionsJournal of Computer and System Sciences, 1979