Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ada formal methods
ada
x
formal-methods
x
6 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
Sxml
⭐
11
Formally verified, bounded-stack XML library
Gneiss
⭐
10
Framework for platform-independent SPARK components
Spark Bitcoin Transaction Example
⭐
5
Example of Bitcoin transaction parsing with Ada/SPARK2014
Ironsides
⭐
5
Fork of the SPARK-based DNS server
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.