spark-by-example
by tofgarion
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
AI summary
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
- stars
- 154
- forks
- 16
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Software Verifier
Automates Ada software verification with continuous testing and proofing
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Defect reduction tool
A software development technology designed to produce ultra-low defect software
AES-like encryption
An implementation of a widely used authenticated encryption algorithm
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Ada compiler setup
Automates installation of an Ada development environment.
Ada compiler
An LSP client prototype for Visual Studio 2017 implementing support for the Ada programming language
TOTP library
A time-based one-time pad implementation library for two-factor authentication
Serialization library
A formally verified serialization library for Coq
Privilege escalator
A simple and secure alternative to sudo and doas for running commands with elevated privileges.
sol/doctest374
Example validator
Tools for verifying and validating Haskell code examples
Tictactoe game
A tictactoe game written in Ada using the SPARK language and proven at runtime
Featured in 1 awesome list
Each link jumps to the spot where the list mentions spark-by-example.
