Stephan Merz

Homepages 🌐

• http://www.loria.fr/~merz

E-Mails 📧

• rf.airol @zreM.nahpetS

Entries

2022

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph

by Stephan Merz 📧 and Vincent Trélat 📧

Aug 17

2012

Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model

by Henri Debrat 📧 and Stephan Merz 🌐

Jul 27

Stuttering Equivalence

by Stephan Merz 🌐

May 07

2011

A Definitional Encoding of TLA* in Isabelle/HOL

by Gudmund Grov 🌐 and Stephan Merz 🌐

Nov 19

2005

Proving the Correctness of Disk Paxos

by Mauro Jaskelioff 🌐 and Stephan Merz 🌐

Jun 22