![Model theory / Logic in computer science / Metalogic / Predicate logic / Proof theory / First-order logic / Satisfiability Modulo Theories / Presburger arithmetic / Quantifier elimination / Logic / Mathematical logic / Theoretical computer science Model theory / Logic in computer science / Metalogic / Predicate logic / Proof theory / First-order logic / Satisfiability Modulo Theories / Presburger arithmetic / Quantifier elimination / Logic / Mathematical logic / Theoretical computer science](https://www.pdfsearch.io/img/c57465d7038dd5a182e36ad6086494af.jpg)
| Document Date: 2009-02-02 09:55:31 Open Document File Size: 234,71 KBShare Result on Facebook
Country Germany / / Facility University of Freiburg / / IndustryTerm loop invariant inference algorithm / machinery / binary search tree / infinite-state systems / over-approximating algorithm / quantifier elimination algorithm / search tree / broader applications / / Organization Switzerland Department of Computer Science / EPFL School of Computer and Communication Sciences / University of Freiburg / / Person Viktor Kuncak / Thomas Wies / / ProgrammingLanguage Java / / Technology quantifier elimination algorithm / Java / loop invariant inference algorithm / over-approximating algorithm / /
SocialTag |