Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

DOI10.1007/s10703-010-0092-yzbMath1209.68314OpenAlexW2082471399MaRDI QIDQ968361

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Publication date: 5 May 2010

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

Full work available at URL: https://doi.org/10.1007/s10703-010-0092-y

zbMATH Keywords

assume-guarantee reasoningabstraction/refinementexplicit state model checkinghierarchical cache coherence protocols

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• UNITY
• Murphi

Cites Work

• Formal design of cache memory protocols in IBM
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols