Login / Signup

Proving unreachability using bounded model checking.

Ulka ShrotriR. VenkateshRavindra Metta
Published in: ISEC (2010)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • web services
  • optimal solution
  • linear programming
  • finite state