Compositional Model Checking of Concurrent Systems
IEEE Transactions on Computers
This paper presents a compositional framework to address the state explosion problem in model checking of concurrent systems. This framework takes as input a system model described as a network of communicating components in a high-level description langu
H. Zheng, Z. Zhang , C. Myers, E. Rodriguez, and Y. Zhang, “Compositional Model Checking for Concurrent Systems”, IEEE Transactions on Computers, 01/2014; 64(6):1-1. DOI:10.1109/TC.2014.2329701
This document is currently not available here.