Back to Results
First PageMeta Content
Control flow / First-order logic / FO / IP / Resolution / Assignment / Foreach loop / Variable / Loop counter / Mathematics / Logic / Software engineering


Finding Loop Invariants for Programs over Arrays Using a Theorem Prover ? Laura Kov´acs1 and Andrei Voronkov2 2 1
Add to Reading List

Document Date: 2010-02-15 09:12:21

Open Document

File Size: 175,73 KB

Share 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