![Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Formal verification / Satisfiability modulo theories / Abstract interpretation / Loop invariant / Logic programming / Model checking / KeY / Software verification Theoretical computer science / Formal methods / Software engineering / Logic in computer science / Formal verification / Satisfiability modulo theories / Abstract interpretation / Loop invariant / Logic programming / Model checking / KeY / Software verification](https://www.pdfsearch.io/img/9dba4a55cb9dd8c29ef446831eef50c4.jpg) Date: 2018-10-19 18:15:18Theoretical computer science Formal methods Software engineering Logic in computer science Formal verification Satisfiability modulo theories Abstract interpretation Loop invariant Logic programming Model checking KeY Software verification | | Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.orgAdd to Reading ListSource URL: arieg.bitbucket.ioDownload Document from Source Website File Size: 464,13 KBShare Document on Facebook
|