Login / Signup

Computational challenges in bounded model checking.

Edmund M. ClarkeDaniel KroeningJoël OuaknineOfer Strichman
Published in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
  • computational challenges
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • huge number
  • multi agent systems
  • linear programming
  • sufficient conditions
  • modal logic