-
Relational Test Tables: A Practical Specification Language for Evolution and Security
A wide range of interesting program properties are intrinsically relatio...
read it
-
Understanding Counterexamples for Relational Properties with DIbugger
Software verification is a tedious process that involves the analysis of...
read it
-
Debugging Program Verification Proof Scripts (Tool Paper)
Interactive program verification is characterized by iterations of unfin...
read it
-
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Distributed programs are often formulated in popular functional framewor...
read it
-
Experience Report: Formal Methods in Material Science
Increased demands in the field of scientific computation require that al...
read it
-
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
MapReduce frameworks are widely used for the implementation of distribut...
read it

Bernhard Beckert
is this you? claim profile