ARCATS - A Scalable Compositional Analysis Tool Suite

Yung Pin Cheng, Yu Ru Cheng, Hong Yi Wang

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

1 Scopus citations

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.

Original languageEnglish
Title of host publicationApplied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing
Pages1852-1853
Number of pages2
StatePublished - 2006
Event2006 ACM Symposium on Applied Computing - Dijon, France
Duration: 23 Apr 200627 Apr 2006

Publication series

NameProceedings of the ACM Symposium on Applied Computing
Volume2

Conference

Conference2006 ACM Symposium on Applied Computing
Country/TerritoryFrance
CityDijon
Period23/04/0627/04/06

Keywords

  • Branching bisimulation
  • Compositional analysis
  • Context constraints
  • Refactoring

Fingerprint

Dive into the research topics of 'ARCATS - A Scalable Compositional Analysis Tool Suite'. Together they form a unique fingerprint.

Cite this