Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.

Paul Loewenstein, David L. Dill

Browse the full CAV paper archive.