research
∙
10/20/2019
Relational Test Tables: A Practical Specification Language for Evolution and Security
A wide range of interesting program properties are intrinsically relatio...
share
research
∙
07/09/2019
Understanding Counterexamples for Relational Properties with DIbugger
Software verification is a tedious process that involves the analysis of...
research
∙
04/12/2018
Debugging Program Verification Proof Scripts (Tool Paper)
Interactive program verification is characterized by iterations of unfin...
research
∙
03/27/2018
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Distributed programs are often formulated in popular functional framewor...
research
∙
02/07/2018
Experience Report: Formal Methods in Material Science
Increased demands in the field of scientific computation require that al...
research
∙
01/26/2018