Counterexample Simplification for Liveness Property Violation.

Gianluca Barbon, Vincent Leroy, Gwen Salan

Browse the full SEFM paper archive.