C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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