<--- Back to Details
First PageDocument Content
Ada programming language / Satisfiability Modulo Theories / SPARK / AdaCore / Ada / GNAT / A Sharp / Mathematical proof / Solver / Computing / Software engineering / Theoretical computer science
Date: 2015-02-05 02:04:48
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

Source URL: www.spark-2014.org

Download Document from Source Website

File Size: 1,20 MB

Share Document on Facebook

Similar Documents

MSST-2018-Tutorial-AdaCore-Part I-MAY-2018

DocID: 1vkKf - View Document

Microsoft Word - SafeSecureAda.doc

DocID: 1rYXK - View Document

Ada / SPARK / CodePeer / GNAT / A Sharp / Avionics software / Computer programming / Static program analysis / Design by contract / Subroutine / CrazyFlie / Embedded system

technology corner professional training calendar highlights / November 2015–February 2016

DocID: 1pKmc - View Document

Ada / SPARK / GNAT / Robert Dewar / CodePeer / A Sharp / Act / Computer programming / Simulink / Stateflow / Static program analysis / Design by contract

web news upcoming events calendar highlights / May–November 2015

DocID: 1omZe - View Document

Frédéric Pothon ACG Solutions Dissimilar tools: Use cases and impact on tool qualification level

DocID: 1mvQF - View Document