Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ada formal verification
ada
x
formal-verification
x
9 search results found
Spark By Example
⭐
108
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Recordflux
⭐
100
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Libsparkcrypto
⭐
22
A cryptographic library in SPARK 2014
Saatana
⭐
12
A cryptographic framework, proven for correctness in SPARK
Sxml
⭐
11
Formally verified, bounded-stack XML library
Spat
⭐
10
SPARK Proof Analysis Tool
Gneiss
⭐
10
Framework for platform-independent SPARK components
Basalt
⭐
8
Collection of formally verified building blocks
Spark Bitcoin Transaction Example
⭐
5
Example of Bitcoin transaction parsing with Ada/SPARK2014
1-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.