Back to Results
First PageMeta Content
Frama-C / Coq / ESC/Java / Theorem prover / SPARK / OCaml / Mathematical proof / Software / Computing / Functional languages


LogoUniversite_ParisSud_P
Add to Reading List

Document Date: 2015-02-05 02:16:49

Open Document

File Size: 1,07 MB

Share Result on Facebook

NaturalFeature

Krakatoa / /

Organization

European Union / /

Person

Coq A bit / Jean-Christophe Filliâtre / /

Position

end Why3 theories Alt-Ergo driver / driver / transformations driver for each prover / /

ProgrammingLanguage

Java / /

Technology

API / Java / /

SocialTag