Synthesizing Invariants By Solving Solvable Loops

Conference object, Other literature type OPEN
de Oliveira, Steven; Bensalem, Saddek; Prevosto, Virgile;

Formal program verification faces two problems. The first<br> problem is related to the necessity of having automated solvers that are<br> powerful enough to decide whether a formula holds for a set of proof obli-<br> gations as large as possible, whereas the s... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Conference object, 2017)
  • Funded by
  • Cite this publication