Stuttering Equivalence

MaRDI QIDQ40289swMATHFDO

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

Cited in

(2)

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

This page was built for software: Stuttering Equivalence