Back to Results
First PageMeta Content
Mathematical 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 Tinelli
Add to Reading List

Document Date: 2017-07-21 11:03:15


Open Document

File Size: 372,74 KB

Share Result on Facebook
UPDATE