## 2018

##### Partial Order Reduction

by Julian Brunner
Jun 05

## 2015

##### Consensus Refined

by Ognjen Marić and Christoph Sprenger
Mar 18

## 2014

##### Converting Linear-Time Temporal Logic to Generalized Büchi Automata

by Alexander Schimpf and Peter Lammich
May 28

##### A Fully Verified Executable LTL Model Checker

by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus
May 28

## 2012

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

by Henri Debrat and Stephan Merz
Jul 27