Refactoring design models for inductive verification

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

6 引文 斯高帕斯(Scopus)

摘要

Systems composed of many identical processes can sometimes be verified inductively using a network invariant, but systems whose component, processes vary in some systematic way are not amenable to direct application of that method. We describe how variations in behavior can be "factored out" into additional processes, thus enabling induction over the number of processes. The process is semi-automatic: The designer must choose from among a set of idiomatic transformations, but each transformation is applied and checked automatically.

原文???core.languages.en_GB???
主出版物標題Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis
編輯P.G. Frankl
發行者Association for Computing Machinery (ACM)
頁面164-168
頁數5
ISBN(列印)1581135629, 9781581135626
DOIs
出版狀態已出版 - 2002
事件ISSTA 02 Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis - Roma, Italy
持續時間: 22 7月 200224 7月 2002

出版系列

名字Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

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

???event.eventtypes.event.conference???ISSTA 02 Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis
國家/地區Italy
城市Roma
期間22/07/0224/07/02

引用此