Back to Results
First PageMeta Content
Functional languages / Theoretical computer science / Automated theorem proving / Formal methods / Coq / Proof assistant / OCaml / National Institute for Research in Computer Science and Control / Isabelle / Computing / Software engineering / Software


The Why3 platform Version 0.85, September 2014 François Bobot1,2 Jean-Christophe Filliâtre1,2
Add to Reading List

Document Date: 2014-09-17 04:10:47

Open Document

File Size: 1,17 MB

Share Result on Facebook

City

Paris / /

Country

France / /

Facility

Why3 Standard Library / Building Terms / Building Quantified Formulas / University Paris-Sud / Building Theories / /

IndustryTerm

software library / /

OperatingSystem

GNU / /

Organization

Drivers for External Provers / Why3 Command / /

Person

Stefan Berghofer / Asma Tafat / Johannes Kanig / Piotr Trojanek / David Mentré / Sylvie Boldo / Leon Gondelman / Romain Bardou / Benjamin Monate / Martin Clochard / Minh-Tuyen Nguyen / Stéphane Lescuyer / Simon Cruanes / /

Position

Interactive Proof Assistant / /

ProgrammingLanguage

Ada / C / Java / /

Technology

http / Java / API / GUI / /

URL

http /

SocialTag