Login / Signup
Partial order reduction: Linear and branching temporal logics and process algebras.
Doron A. Peled
Published in:
Partial Order Methods in Verification (1996)
Keyphrases
</>
temporal logic
model checking
partial order reduction
predicate logic
computational complexity
np complete
modal logic
formal specification