ARCATS - Tackling state explosion in a multi-phased, Compositionalway

Yung Pin Cheng, Chun Yu Lee

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Automatic verification techniques, which analyze all processes at once, typically do not scale well for large, complex concurrent software systems because of the theoretic barrier – PSPACE hard complexity in worst case. In this paper, we present our tool named ARCATS (Architecture Refactoring and Compositional Analysis Tool Suite). ARCATS consists a set of tools to combat state explosion in a divideand- conquer, hierarchical fashion. These tools can be applied in a multi-phased manner until a balance between intractability and feasibility is reached. We build these tools to seek out perfect combinations for analyzing large-scale, complex software system with state space growth carefully controlled.

Original languageEnglish
Title of host publicationProceedings
Subtitle of host publicationDMS 2008 - 14th International Conference on Distributed Multimedia Systems
PublisherKnowledge Systems Institute Graduate School
Pages100-105
Number of pages6
ISBN (Electronic)1891706233
StatePublished - 2008
Event14th International Conference on Distributed Multimedia Systems, DMS 2008 - Boston, United States
Duration: 4 Sep 20086 Sep 2008

Publication series

NameProceedings: DMS 2008 - 14th International Conference on Distributed Multimedia Systems

Conference

Conference14th International Conference on Distributed Multimedia Systems, DMS 2008
Country/TerritoryUnited States
CityBoston
Period4/09/086/09/08

Fingerprint

Dive into the research topics of 'ARCATS - Tackling state explosion in a multi-phased, Compositionalway'. Together they form a unique fingerprint.

Cite this