BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Wang, FarnFarnWangSchmidt, K.K.SchmidtYu, FangFangYuHuang, Geng-DianGeng-DianHuangWang, Bow-YawBow-YawWang2009-03-042018-07-062009-03-042018-07-062004-06http://ntur.lib.ntu.edu.tw//handle/246246/142213http://ntur.lib.ntu.edu.tw/bitstream/246246/142213/1/02.pdfapplication/pdf1621002 bytesapplication/pdfen-USBDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reductionjournal article10.1109/TSE.2004.15http://ntur.lib.ntu.edu.tw/bitstream/246246/142213/1/02.pdf