Kooperative Softwareverifikation
Überblick
Detailinformationen
Publikationen
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
Cooperative Verification via Collective Invariant Generation
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
Reducer-Based Construction of Conditional Verifiers
Alle Publikationen anzeigen
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.