Login / Signup

Relative Liveness: From Intuition to Automated Verification.

Radu NegulescuJanusz A. Brzozowski
Published in: Formal Methods Syst. Des. (1998)
Keyphrases
  • automated verification
  • model checking
  • automated reasoning
  • formal verification
  • data sets
  • neural network
  • bayesian networks