Adding Partial Orders to Linear Temporal Logic.

Girish Bhat Doron A. Peled

Published in: Fundam. Informaticae (1998)

Keyphrases

partial order
linear temporal logic
temporal logic
partially ordered
total order
model checking
bounded model checking
partial ordering
stable marriage
lattice structure
bayesian networks
sequential patterns
totally ordered
multi dimensional
modal logic
logical formulas