A proof lattice-based technique for analyzing liveness of resource controllers

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023743 ◽

2005 ◽

pp. 292-301 ◽

Author(s):

Ugo Buy ◽

Robert Moll

Download Full-text