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

DOI10.1007/BF00709156zbMath0875.68135OpenAlexW1546387297MaRDI QIDQ685110

Paul N. Loewenstein, David L. Dill

Publication date: 30 September 1993

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00709156

Mathematics Subject Classification ID

Computer system organization (68M99)

Related Items (1)

A formal theory of simulations between infinite automata

Uses Software

• HOL

Cites Work

• Unnamed Item
• The existence of refinement mappings
• Protocol Verification via Projections
• Automatic Verification of Sequential Circuits Using Temporal Logic

This page was built for publication: Verification of a multiprocessor cache protocol using simulation relations and higher-order logic