Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.

Yongjian Li

Browse the full SAC paper archive.