Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories.

Carl-Johan H. Seger Randal E. Bryant

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

Keyphrases

partially ordered
formal verification
partial order
model checking
totally ordered
partial ordering
event calculus
bounded model checking
possibilistic logic
interval valued
model checker
symbolic model checking
automated verification
total order
logic programming
temporal logic