Using decision diagrams to compactly represent the state space for explicit model checking.

Hao Zheng 0001 Andrew Price Chris J. Myers Using decision diagrams to compactly represent the state space for explicit model checking. 17-24 2012 HLDVT https://doi.org/10.1109/HLDVT.2012.6418238 https://doi.ieeecomputersociety.org/10.1109/HLDVT.2012.6418238 https://www.wikidata.org/entity/Q59859521 conf/hldvt/2012 db/conf/hldvt/hldvt2012.html#ZhengPM12