Visual Verification of Safety and Liveness.

Antti Valmari, Manu Setl

Browse the full FM paper archive.