First Page | Document Content | |
---|---|---|
Date: 2017-07-21 11:03:15Mathematical logic Mathematics Theoretical computer science Temporal logic Logic in computer science Model theory Formal methods Linear temporal logic Satisfiability modulo theories First-order logic Propositional calculus IP | Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare TinelliAdd to Reading ListSource URL: mebsout.github.ioDownload Document from Source WebsiteFile Size: 372,74 KBShare Document on Facebook |