Stuttering Equivalence

swMATH28575MaRDI QIDQ40289FDOQ40289

Author name not available (Why is that?)

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