Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Pani, G. Weissenbacher, F. Zuleger:
"Thread-modular Counter Abstraction for Parameterized Program Safety";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Haifa, Israel;
22.09.2020
- 24.09.2020; in: "Formal Methods in Computer-Aided Design",
TU Wien Academic Press / IEEE,
1
(2020),
ISBN: 978-3-85448-042-6;
S. 67
- 76.
Kurzfassung englisch:
Automated safety proofs of parameterized software are hard: State-of-the-art methods rely on intricate abstractions and complicated proof techniques that often impede automation. We replace this heavy machinery with a clean abstraction framework built from a novel combination of counter abstraction,thread-modular reasoning, and predicate abstraction. Our fully automated method proves parameterized safety for a wide range of classically challenging examples in a straight-forward manner.
Schlagworte:
parameterized program verification, parameterized safety, counter abstraction, thread-modular reasoning, predicate abstraction
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_13
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_293379.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.