Login / Signup

Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.

Myla Archer
Published in: VSTTE (2005)
Keyphrases
  • computer programs
  • lessons learned
  • real world
  • fully automatic
  • key issues
  • open issues
  • computer vision
  • semi automatic
  • theorem proving
  • data mining
  • information systems
  • affine invariant
  • invariant features
  • formal proofs