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