Kooperative Softwareverifikation

Project Period: 2019-10-01
Alternative Name
Cooperative Software Verification
Acronym
Koop
Principal Investigator
Heike Wehrheim
Funding Organisation
DFG
Cooperator
Prof. Dr. Dirk Beyer (LMU Munich)

1 Publication

2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
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.
LibreCat | Files available