Login / Signup

Don't sweat the small stuff: formal verification of C code without the pain.

David GreenawayJapheth LimJune AndronickGerwin Klein
Published in: PLDI (2014)
Keyphrases
  • formal verification
  • model checking
  • program slicing
  • bounded model checking
  • source code
  • model checker
  • automated verification
  • symbolic model checking
  • dynamic programming
  • functional verification