Stuttering Equivalence

MaRDI QIDQ40289swMATHFDO

Authors Stephan Merz

Publication date 7 May 2012

Official website https://www.isa-afp.org/entries/Stuttering_Equivalence.html

Cites work

• Stutter-invariant temporal properties are expressible without the next-time operator

Cited in

(2)

• CAVA
• Formal verification of an executable LTL model checker with partial order reduction

This page was built for software: Stuttering Equivalence