Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_9 ◽

2005 ◽

pp. 130-145 ◽

Author(s):

Sebastian Burckhardt ◽

Rajeev Alur ◽

Milo M. K. Martin

Download Full-text