First Page | Document Content | |
---|---|---|
Date: 2018-10-25 12:43:22Software engineering Theoretical computer science Computing Formal methods Logic in computer science Software testing Electronic design automation Formal verification Abstract interpretation KeY Satisfiability modulo theories Model checking | Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen KahsaiAdd to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source WebsiteFile Size: 2,44 MBShare Document on Facebook |