research
∙
01/21/2021
Deductive Verification of Floating-Point Java Programs in KeY
Deductive verification has been successful in verifying interesting prop...
share
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...
research
∙
07/08/2019
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
This volume contains the joint post-proceedings of the 3rd Workshop on P...
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