< back to main site


Strategy on the use of SPARK.

Wichmann, B (1994) Strategy on the use of SPARK. NPL Report. DITC 227/94

Full text not available from this repository.


SPARK is a subset of Ada 83 designed for the validation of critical systems. This report considers potential developments to aid the use of SPARK to make the technology more appropriate for critical systems.

Item Type: Report/Guide (NPL Report)
NPL Report No.: DITC 227/94
Subjects: Mathematics and Scientific Computing
Last Modified: 02 Feb 2018 13:19
URI: http://eprintspublications.npl.co.uk/id/eprint/67

Actions (login required)

View Item View Item