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