Verification of a multiprocessor cache protocol using simulation relations and higher-order logic

• Authors:

• Paul N. Loewenstein;David L. Dill

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design - Special issue on computer-aided verification: special methods I
• Year:
• 1992