Title

Compositional Model Checking of Concurrent Systems

Document Type

Article

Journal/Book Title/Conference

IEEE Transactions on Computers

Volume

64

Publisher

IEEE

Publication Date

4-17-2014

First Page

1607

Last Page

1621

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

This document is currently not available here.

Share

COinS