Login / Signup

Relative liveness: from intuition to automated verification.

Radu NegulescuJanusz A. Brzozowski
Published in: ASYNC (1995)
Keyphrases
  • automated verification
  • model checking
  • automated reasoning
  • formal verification
  • image processing
  • temporal logic
  • artificial intelligence
  • probabilistic model
  • knowledge representation
  • graph theory