41 citations · 42 across the 2 of their papers we have counts for
3 papers · 1 filter
Understanding Counterexamples for Relational Properties with DIbugger
Mihai Herda, Michael Kirsten, Etienne Brunner +6
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…
Experience Report: Formal Methods in Material Science
Bernhard Beckert, Britta Nestler, Moritz Kiefer +2
Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge t…
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Christoph Baumann, Bernhard Beckert, Holger Blasum +1
Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisof…