Bug#617551: ITP: spark -- SPARK programming language tools
Package: wnpp
Severity: wishlist
Owner: "Євгеній Мещеряков" <eugen@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.
Reply to: