ARCATS - A Scalable Compositional Analysis Tool Suite

Yung Pin Cheng, Yu Ru Cheng, Hong Yi Wang

研究成果: 書貢獻/報告類型會議論文篇章同行評審

1 引文 斯高帕斯(Scopus)

摘要

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.

原文???core.languages.en_GB???
主出版物標題Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing
頁面1852-1853
頁數2
出版狀態已出版 - 2006
事件2006 ACM Symposium on Applied Computing - Dijon, France
持續時間: 23 4月 200627 4月 2006

出版系列

名字Proceedings of the ACM Symposium on Applied Computing
2

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2006 ACM Symposium on Applied Computing
國家/地區France
城市Dijon
期間23/04/0627/04/06

指紋

深入研究「ARCATS - A Scalable Compositional Analysis Tool Suite」主題。共同形成了獨特的指紋。

引用此