![Frama-C / Coq / ESC/Java / Theorem prover / SPARK / OCaml / Mathematical proof / Software / Computing / Functional languages Frama-C / Coq / ESC/Java / Theorem prover / SPARK / OCaml / Mathematical proof / Software / Computing / Functional languages](https://www.pdfsearch.io/img/c69930dbaa32a3965b2e60e21cd3f364.jpg)
| Document Date: 2015-02-05 02:16:49 Open Document File Size: 1,07 MBShare 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 |