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

• Authors:

• Paul Loewenstein;David L. Dill

• Affiliations:

• -;-

• Venue:
• CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
• Year:
• 1990