Cited By
View all- Oortwijn WDijk TPol JErdogmus HHavelund K(2017)Distributed binary decision diagrams for symbolic reachabilityProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software10.1145/3092282.3092284(21-30)Online publication date: 13-Jul-2017
- Dijk TPol J(2015)SylvanProceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 903510.1007/978-3-662-46681-0_60(677-691)Online publication date: 11-Apr-2015
- Cohen ANamjoshi KSa'ar YZuck LKisyova K(2010)Parallelizing a symbolic compositional model-checking algorithmProceedings of the 6th international conference on Hardware and software: verification and testing10.5555/1987082.1987091(46-59)Online publication date: 4-Oct-2010
- Show More Cited By