Heuristics for Checking Liveness Properties with Partial Order Reductions.

Alexandre Duret-Lutz Fabrice Kordon Denis Poitrenaud Etienne Renault

Published in: ATVA (2016)

Keyphrases

partial order
partially ordered
total order
lattice structure
partial ordering
stable marriage
search algorithm
vertex cover
causal links
heuristic search
dominance relation
desirable properties
set theory
totally ordered