First Page | Document Content | |
---|---|---|
Date: 2018-08-03 20:31:21Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming | Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2Add to Reading ListSource URL: seahorn.github.ioDownload Document from Source WebsiteFile Size: 328,27 KBShare Document on Facebook |