Login / Signup

Linear time temporal logics over Mazurkiewicz traces.

Madhavan MukundP. S. Thiagarajan
Published in: Partial Order Methods in Verification (1996)
Keyphrases
  • mazurkiewicz traces
  • temporal logic
  • satisfiability problem
  • model checking
  • worst case
  • state space
  • modal logic
  • np complete
  • cellular automata
  • first order logic
  • concurrent systems
  • computation tree logic