Login / Signup

Bounded Model Checking for All Regular Properties.

Markus JehleJan JohannsenMartin LangeNicolas Rachinsky
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • bounded model checking
  • model checking
  • desirable properties
  • temporal logic
  • formal verification
  • linear temporal logic
  • reinforcement learning
  • distributed systems