./wip/spark2014, SPARK 2014 toolset

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 13.0.0nb1, Package name: spark2014-13.0.0nb1, Maintainer: pkgsrc-users

SPARK 2014 toolset

SPARK is a software development technology specifically designed for
engineering high-reliability applications.
It consists of a programming language, a verification toolset and a design
method which, taken together, ensure that ultra-low defect software can be
deployed in application domains where high-reliability must be assured
and where safety and security are key requirements.


Master sites:


Version history: (Expand)