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

Paul Loewenstein

Published in: Formal Methods Syst. Des. (1992)

Keyphrases

higher order logic
higher order
network simulator
theorem prover
cryptographic protocols
colored petri nets
formal analysis
protocol specification
model checking
pairwise
general purpose
graphical models
main memory
formal verification
supervised learning
petri net