Article
Compositional Model Checking of Concurrent Systems
IEEE Transactions on Computers
Document Type
Article
Publisher
IEEE
Publication Date
4-17-2014
DOI
10.1109/TC.2014.2329701
Abstract
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
Citation Information
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