Nicolas Latorre

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Program verification systems fail in verifying programs if appropriate loop invariants are not suggested. Generation of loop invariants in general is an art and providing them manually is a highly complex task (if possible at all). In this paper we present VERIGE, a tool that integrates a verifier with an invariant generator engine. VERIGE implements a(More)
  • 1