![Ada programming language / Satisfiability Modulo Theories / SPARK / AdaCore / Ada / GNAT / A Sharp / Mathematical proof / Solver / Computing / Software engineering / Theoretical computer science Ada programming language / Satisfiability Modulo Theories / SPARK / AdaCore / Ada / GNAT / A Sharp / Mathematical proof / Solver / Computing / Software engineering / Theoretical computer science](https://www.pdfsearch.io/img/850b3b025bfa6a051d8f56d9de1c1ff5.jpg)
| Document Date: 2015-02-05 02:04:48 Open Document File Size: 1,20 MBShare 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 |