@inproceedings{1b565ce3291d4f518dcbf8a09a177930,
title = "ARCATS - Tackling state explosion in a multi-phased, Compositionalway",
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.",
author = "Cheng, {Yung Pin} and Lee, {Chun Yu}",
note = "Publisher Copyright: {\textcopyright} 2008 by Knowledge Systems Institute Graduate School. All rights reserved.; 14th International Conference on Distributed Multimedia Systems, DMS 2008 ; Conference date: 04-09-2008 Through 06-09-2008",
year = "2008",
language = "???core.languages.en_GB???",
series = "Proceedings: DMS 2008 - 14th International Conference on Distributed Multimedia Systems",
publisher = "Knowledge Systems Institute Graduate School",
pages = "100--105",
booktitle = "Proceedings",
}