Compositional Model Checking of Concurrent Systems

Hao Zheng, IEEE
Zhen Zhang, Utah State University
Chris J. Myers, Fellow, IEEE
Emmanuel Rodriguez
Yingying Zhang


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