Stuttering_Equivalence Dependents

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