Verification of Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.

Paul Loewenstein David L. Dill

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

higher order logic
higher order
cryptographic protocols
colored petri nets
theorem prover
formal analysis
protocol specification
network simulator
formal verification
multithreading
main memory
distributed memory
conditional logic
multiprocessor systems