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


1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations
Add to Reading List

Document Date: 2015-05-21 04:16:07

Open Document

File Size: 431,19 KB

Share Result on Facebook

City

Paris / /

Company

Albert Benveniste / n-Synchronous Kahn Networks / G. Castagna / Airbus / P. Raymond / Section Thesis Group / CEA / Timothy Bourke / Benoit Caillaud / Intel / /

Event

Business Partnership / Second Stock Issuance / /

Facility

TAToo library / Alea library / Coccinelle library / SCADE library / Flocq library / CEDRIC laboratory National Institute / Coquelicot library / PFF library / /

IndustryTerm

tool chain / simplex algorithm / automated termination tools / transportation / embedded systems / iterative algorithm / synchronous data-flow networks / health services / larger tools / standalone tools / formal tools / web galleries / data intensive systems / automatic deduction tools / e.g. control software / polynomial algorithm / term rewriting systems / cryptographic protocols / termination tools / data intensive management systems / external applications / industrial applications / software applications / deduction tools / external tools / banking / n-synchronous systems / type systems / cloud computing / http /

NaturalFeature

Krakatoa / /

OperatingSystem

PREX / /

Organization

Institute of Informatics / Universidade do Minho / Strategic Cad Lab / /

Person

Christine Eisenbeis / Marc Duranton / Albert Cohen / V. Benzaken / G. Melquiond / Coq / /

Position

relational data model / researcher / proof assistant / Post-doc Post-doc Post-doc Post-doc Post-doc Post-doc Engineer Post-doc Post-doc Engineer / interpreter / embedded controller / Isabelle/HOL proof assistant / representative / assistant / /

Product

Alt-Ergo / Cubicle / ReactiveML / Coccinelle / Krakatoa / OCaml / /

ProgrammingLanguage

Esterel / Java / R / C / XPath / Ada / SQL / XML / XQuery / Simulink / ML / JavaScript / /

PublishedMedium

the JAR journal / /

RadioStation

Funding CIFRE AM / /

Technology

Functional Programming / XML / JSON / relational database / simplex algorithm / HTML / polynomial algorithm / cryptography / Java / http / iterative algorithm / /

URL

http /

SocialTag