continuous-verification
by jklmnn
SPARK formal verification automated with Travis CI
AI summary
Software Verifier
Automates Ada software verification with continuous testing and proofing
- stars
- 9
- forks
- 0
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
TOTP library
A time-based one-time pad implementation library for two-factor authentication
Command processor verifier
Adds support for verifying a specific command processing framework
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
Test runner
A Gradle plugin to run JMeter tests for performance analysis and load testing.
Algorithmic library
A collection of formalized and provable data structures and algorithms in Coq for educational purposes
Mock verifier
Adds Verify support for Moq types to verify mock behavior and assertions
Assertion library
A fluent assertion library for Kotlin that simplifies writing tests and assertions in Kotlin programming language.
Hash function implementation
Implementation of the BLAKE2s hash function in Ada for secure data integrity and authenticity verification.
Contract verification tool
Formal specification and verification of a specific smart contract function.
UI verification tool
A tool for verifying the correctness of Xaml UIs.
Verification tool
A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Featured in 1 awesome list
Each link jumps to the spot where the list mentions continuous-verification.
