## 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