@inproceedings{eeb17a30a6ce446181e4384d01d72c10,
title = "Refactoring design models for inductive verification",
abstract = "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.",
keywords = "Compositional Analysis, Concurrency, Network Invariants, Parameterized System, Refactoring",
author = "Cheng, {Yung Pin}",
year = "2002",
doi = "10.1145/566172.566198",
language = "???core.languages.en_GB???",
isbn = "1581135629",
series = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery (ACM)",
pages = "164--168",
editor = "P.G. Frankl",
booktitle = "Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis",
note = "ISSTA 02 Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis ; Conference date: 22-07-2002 Through 24-07-2002",
}