@inproceedings{356b68b2172d41129036af5edd8730eb,
title = "ARCATS - A Scalable Compositional Analysis Tool Suite",
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 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 divide-and-conquer, hierarchical manner, which is also known as compositional analysis. We build these tools to seek out best combinations to scale the verification to larger software systems.",
keywords = "Branching bisimulation, Compositional analysis, Context constraints, Refactoring",
author = "Cheng, {Yung Pin} and Cheng, {Yu Ru} and Wang, {Hong Yi}",
year = "2006",
language = "???core.languages.en_GB???",
isbn = "1595931082",
series = "Proceedings of the ACM Symposium on Applied Computing",
pages = "1852--1853",
booktitle = "Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing",
note = "2006 ACM Symposium on Applied Computing ; Conference date: 23-04-2006 Through 27-04-2006",
}