article · 2012
Using decision diagrams to compactly represent the state space for explicit model checking
The enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decisi...
2 citationsDOI: https://doi.org/10.1109/hldvt.2012.6418238Open accessPDF reported by metadataFull text reported by metadata