Name
Abstract | ||
|---|---|---|
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairness, when one needs to compare multiple related runs of the same software. Verification tools often provide counterexamples consisting of program inputs when a proof attempt fails, however it is often not clear why the reported counterexample leads to a violation of the checked property. In this paper, we enhance this aspect of the software verification process by providing DIbugger, a tool for analyzing counterexamples of relational properties, allowing the user to debug multiple related programs simultaneously. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.4204/EPTCS.296.4 | European Joint Conferences on Theory And Practice of Software |
DocType | ISSN | Citations |
Conference | EPTCS 296, 2019, pp. 6-13 | 0 |
PageRank | References | Authors |
0.34 | 0 | 9 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mihai Herda | 1 | 22 | 3.92 |
| Kirsten Michael | 2 | 0 | 0.34 |
| Brunner Etienne | 3 | 0 | 0.34 |
| Plewnia Joana | 4 | 0 | 0.34 |
| Scheler Ulla | 5 | 0 | 0.34 |
| Staudenmaier Chiara | 6 | 0 | 0.34 |
| Wagner Benedikt | 7 | 0 | 0.34 |
| Zwick Pascal | 8 | 0 | 0.34 |
| Bernhard Beckert | 9 | 862 | 86.50 |