Merz, Stephan

1. Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle
   2018/10/29 by Ran Chen, Cyril Cohen, Chen, Ran +7 · 1 voice · 1 citation
   #cs.LO
2. TLA+ Proofs
   2012/08/29 by Denis Cousineau, Cousineau, Denis, Damien Doligez +9 · 3 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
3. Validating Traces of Distributed Programs Against TLA+ Specifications
   2024/04/24 by Horatiu Cirstea, Markus A. Kuppe, Cirstea, Horatiu +5 · 4 citations
   Computer Science · #Software System Performance and Reliability #Formal Methods in Verification #Software Testing and Debugging Techniques