Back to Results
First PageMeta Content
Ada programming language / Satisfiability Modulo Theories / SPARK / AdaCore / Ada / GNAT / A Sharp / Mathematical proof / Solver / Computing / Software engineering / Theoretical computer science


LogoUniversite_ParisSud_P
Add to Reading List

Document Date: 2015-02-05 02:04:48

Open Document

File Size: 1,20 MB

Share Result on Facebook

Company

AdaCore / Joint Laboratory / Leading / Toccata / /

Country

United Kingdom / /

Event

Business Partnership / /

IndustryTerm

software publisher / software solutions / research / software tools / safety-critical applications / /

Organization

French national institute / /

Person

Claude Marché / Ada Ease / /

Position

dedicated proof assistant / /

ProgrammingLanguage

Ada / /

Technology

2014 technology / /

SocialTag