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
|