![Control flow / First-order logic / FO / IP / Resolution / Assignment / Foreach loop / Variable / Loop counter / Mathematics / Logic / Software engineering Control flow / First-order logic / FO / IP / Resolution / Assignment / Foreach loop / Variable / Loop counter / Mathematics / Logic / Software engineering](https://www.pdfsearch.io/img/3166e1dd49531bc62081361d05b2532e.jpg)
| Document Date: 2010-02-15 09:12:21 Open Document File Size: 175,73 KBShare Result on Facebook
Facility EPFL University of Manchester Abstract / / IndustryTerm static analysis tool / theorem provers using saturation algorithms / program analysis tools / / Organization EPFL University of Manchester Abstract / National Science Foundation / European Commission / / Person Laura Kov / / Position General / first author / guard / / ProgrammingLanguage C / / Technology theorem provers using saturation algorithms / /
SocialTag |