SPARK is a programming language and formal verification toolset for engineering high-reliability applications. In this document in Japanese, we introduce the fundamental concepts of the SPARK language, and the essential features of the SPARK toolset. This document forms the core part of the complete SPARK User's Guide in English.
Translation to Japanese by Mr. Masao Ito, NIL
SPARK 2014 User’s Guide
リリース 18.0w
AdaCore and Altran UK Ltd
1 月 18, 2017