SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Standard Ada library specification as defined in Reference Manual
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos