Login / Signup

Experimental Analysis of Different Techniques for Bounded Model Checking.

Nina AmlaRobert P. KurshanKenneth L. McMillanRicardo Medel
Published in: TACAS (2003)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • general purpose
  • orders of magnitude
  • integer programming
  • finite state