Understanding Program Verification

  • Rustan Leino

PROLE 2009, San Sebastian, Spain |

Published by Microsoft Research

Download BibTex

Software quality assurance

  • A major software engineering concern
  • Costly
  • Relies heavily on testing
  • Increasingly helped by advanced tools
    • Verification-condition generation, symbolic execution, model checking, abstract interpretation, fuzzing, test generation