Back to Results
First PageMeta Content
Mathematical logic / Invariant / Loop invariant / Automated theorem proving / Emmy Noether / First-order logic / Mathematics / Software engineering / Formal methods


Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2
Add to Reading List

Document Date: 2011-05-02 08:17:07

Open Document

File Size: 153,77 KB

Share Result on Facebook

City

Instantiation / /

Company

Hillenbrand / /

Facility

University of Manchester / /

IndustryTerm

2GHz processor / standalone tool / tool / saturation algorithm / program analysis tools / /

OperatingSystem

MacOS / Linux / /

Organization

School of Computer Science / University of Manchester / /

Person

Hertha Firnberg / N. Halbwachs / Andrei Voronkov / M. Peron / Laura Kov / Laura Kov´acs / /

ProgrammingLanguage

C++ / /

Technology

RAM / 2GHz processor / saturation algorithm / Linux / /

URL

http /

SocialTag