Checking cache-coherence protocols with TLA\(^+\)

DOI10.1023/A:1022969405325zbMath1021.68052OpenAlexW2098170468MaRDI QIDQ1870224

Yanyan Li

Publication date: 11 May 2003

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

Full work available at URL: https://doi.org/10.1023/a:1022969405325

zbMATH Keywords

model checkingcache coherenceTLCTLA\(^+\)

Mathematics Subject Classification ID

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

Related Items (2)

Complete formal specification of the OpenMP memory model ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

Uses Software

• TLAPS

This page was built for publication: Checking cache-coherence protocols with TLA\(^+\)