"Compositional Model Checking of Concurrent Systems" by Hao Zheng, Zhen Zhang et al.
 

Compositional Model Checking of Concurrent Systems

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

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