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

Paul Loewenstein David L. Dill

Published in: CAV (1990)

Keyphrases

higher order logic
higher order
colored petri nets
cryptographic protocols
theorem prover
petri net
network simulator
formal analysis
protocol specification
multithreading
main memory
cache replacement algorithm
conditional logic
theorem proving
scheduling algorithm
model checking
programming language