A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.

Ugo A. Buy, Robert Moll

Browse the full CAV paper archive.