ARCATS: a scalable compositional analysis tool suite

Authors:
Yung-Pin Cheng;Yu-Ru Cheng;Hong-Yi Wang
Affiliations:
National Taiwan Normal University, Taipei City, Taiwan;National Taiwan Normal University, Taipei City, Taiwan;National Taiwan Normal University, Taipei City, Taiwan
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 3
Cited 0

Compositional reachability analysis using process algebra

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Context constraints for compositional reachability analysis

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards scalable compositional analysis by refactoring design models

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

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.