Login / Signup

Formal Verification of a solution for Green Computing.

Lihui Lei
Published in: QLSC (2012)
Keyphrases
  • formal verification
  • model checking
  • optimal solution
  • model checker
  • symbolic model checking
  • closed form
  • integer programming
  • orders of magnitude
  • automated verification