Back to Results
First PageMeta Content
Formal methods / Logical syntax / Logic in computer science / Mathematical logic / Automated theorem proving / Interpolation / Satisfiability Modulo Theories / Vampire / Theorem / Logic / Theoretical computer science / Mathematics


Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2
Add to Reading List

Document Date: 2012-09-19 03:03:42

Open Document

File Size: 238,61 KB

Share Result on Facebook

City

Interpolation / /

Company

Dell / /

Facility

University of Manchester / TPTP Problem Library / Satisfiability Modulo Theories Library / /

IndustryTerm

software model checker / standalone tool / minimal solution / software verification tools / concrete verification tools / suboptimal solutions / pseudo-boolean optimisation tool / software verification competition / software verification / end-applications / /

OperatingSystem

MacOS / Linux / /

Organization

University of Manchester / /

Person

Geoff Sutcliffe / Laura Kov / /

Position

reverse engineer / /

Product

CPAchecker / /

ProgrammingLanguage

C++ / php / /

Technology

RAM / Linux / /

URL

www.SMT-LIB.org / http /

SocialTag