Back to Results
First PageMeta Content
Procedural programming languages / Formal methods / Program logic / Predicate transformer semantics / Recursion / KeY / Binary heap / Termination analysis / ALGOL 68 / Software engineering / Computing / Computer programming


The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona
Add to Reading List

Document Date: 2012-07-16 03:37:08

Open Document

File Size: 372,71 KB

Share Result on Facebook

City

Torino / /

Company

Mostowski / Object-Oriented Software / /

Country

Germany / France / Netherlands / Italy / Ireland / /

Facility

Karlsruhe Institute of Technology / University of Twente / KIV library / ProVal Web gallery / University of London / National University of Ireland Maynooth / /

IndustryTerm

term rewriting systems / automated proof search mode / competition web site / active developer / jStar tool / challenge solution / verification tools / tool / program verification tools / Web gallery / verification tool / /

NaturalFeature

Krakatoa / /

Organization

University of Twente / Institute of Technology / National University of Ireland Maynooth / University of London / /

Person

Claude March / Marc Brockschmidt / Thorsten Bormer / Bogdan Tofan / Christoph Scheben / Dino Distefano / Gidon Ernst / Julian Tschannen / Nadia Polikarpova / Gerhard Schellhorn / Mattias Ulbrich / Radu Grigore / Jean-Christophe Filliˆatre / Rosemary Monahan / Wojciech Mostowski / Mary / Vladimir Klebanov / /

Position

Queen / Private / head / private / and initialized by the constructor / postdoctoral research assistant / /

ProgrammingLanguage

Haskell / Prolog / Java / /

Technology

Java / /

URL

http /

SocialTag