Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Model theory / Propositional calculus / Logic in computer science / Logical truth / Linear temporal logic / First-order logic / Well-formed formula / Interpretation / Intuitionistic logic


Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be
Add to Reading List

Document Date: 2010-07-20 03:24:48


Open Document

File Size: 432,57 KB

Share Result on Facebook
UPDATE