Sign in
Cache Coherence Verification with TLA+.
Homayoon Akhiani
Damien Doligez
Paul Harter
Leslie Lamport
Joshua Scheid
Mark R. Tuttle
Yuan Yu
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
temporal logic
model checking
verification method
formal verification
concurrent systems
real time
neural network
databases
information retrieval
image sequences
user interface
signature verification
test generation