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