TY  - JOUR
AU  - Minh Do, Canh
AU  - Phyo, Yati
AU  - Ogata, Kazuhiro
AU  - Riesco Rodríguez, Adrián
PY  - 2023
DO  - 10.1145/3604610
SN  - 1049-331X
UR  - https://hdl.handle.net/20.500.14352/91469
T2  - ACM Transactions on Software Engineering and Methodology
AB  - We devised the L+1-layer divide & conquer approach to leads-to model checking (L+1-DCA2L2MC) and its parallel version, and developed sequential and parallel tools for L+1-DCA2L2MC. In a temporal logic called UNITY, designed by Chandy and Misra, the...
LA  - eng
PB  - Association for Computing Machinery
TI  - Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
TY  - journal article
VL  - 32
ER  -