More Resources
Recent Papers
Browse by Technology
Dev Log Archives
SPARK |
|
SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Praxis with the GNAT Programming Studio (GPS) development environment from AdaCore.
Recent development log entries
View all SPARK entries in Recent development log entries »
Live Docs
| Browse online » |