Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking.

Kenneth L. McMillan

Published in: CAV (1998)

Keyphrases

model checking
verification method
dynamic programming
search space
finite state machines
formal verification
np hard
model checker
reinforcement learning
temporal logic
deterministic finite automaton
multi agent systems
computational complexity
heuristic search