Package: wnpp Severity: wishlist Owner: "Євгеній Мещеряков" <eu...@debian.org>
* Package name : spark Version : spark-gpl-2010-SMT * URL : http://libre.adacore.com/libre/tools/spark-gpl-edition/ * License : GPL3+ Programming Lang: Ada, Prolog, C++ Description : SPARK programming language toolset SPARK is a programming language and a set of software development products for high assurance software. The SPARK programming language is the only language specifically designed to support the development of safety or security critical software. In combination with the SPARK toolset, SPARK prevents, detects and eliminates defects early in the lifecycle as the source code is developed. It is, effectively, the result of applying the principles of Correctness by Construction to the design of a programming language and associated verification tools. This package contains tools for verification of programs written in SPARK. To compile SPARK programs use Ada compiller available in package 'gnat'. --- The description is stolen from the upstream homepage (http://altran-praxis.com/spark.aspx). Corrections/improvements are welcome. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110309183721.18894.83636.report...@openfonts.org
