Back to Results
First PageMeta Content
Formal methods / Abstraction / Model theory / Predicate transformer semantics / Program logic / Transitive closure / Predicate abstraction / Predicate / Interpolation / Mathematical logic / Mathematics / Logic


Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL)
Add to Reading List

Document Date: 2012-07-02 15:54:03

Open Document

File Size: 201,75 KB

Share Result on Facebook

City

Interpolation / Grenoble / /

Company

Embedded Software / Microsoft / /

Country

France / Sweden / Czech Republic / /

Currency

pence / /

Facility

Swiss Federal Institute of Technology Lausanne / Brno University of Technology / Uppsala University / /

IndustryTerm

refinement algorithm / infinite-state transition systems / predicate abstraction tools / worklist algorithm / infinite-state systems / difficult transition systems / integer transition systems / algorithmic solution / /

Organization

Czech Science Foundation / Brno University of Technology / Uppsala University / Swiss Federal Institute of Technology Lausanne / Czech Ministry of Education / /

Person

Ai / Filip Kone / /

Position

head / Path.head / /

ProgrammingLanguage

R / C / /

Technology

refinement algorithm / main algorithm / EGAAR algorithm / worklist algorithm / CEGAAR algorithm / /

URL

http /

SocialTag