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