Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol.

Alexei Lisitsa

Browse the full CADE paper archive.