Improving Partial Order Reductions for Universal Branching Time Properties.

Wojciech Penczek Maciej Szreter Rob Gerth Ruurd Kuiper

Published in: Fundam. Informaticae (2000)

Keyphrases

partial order
partially ordered
total order
stable marriage
lattice structure
partial ordering
model checking
desirable properties
preference relations
sequential patterns
conceptual graphs
maximum weight
state space
set theory