continuous-verification
Software Verifier
Automates Ada software verification with continuous testing and proofing
SPARK formal verification automated with Travis CI
9 stars
5 watching
0 forks
Language: Ada
last commit: over 5 years ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 152 |
| jklmnn/stotp | A time-based one-time pad implementation library for two-factor authentication | 8 |
 verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 80 |
 imdea-software/fcsl-pcm | Provides formalisation of Partial Commutative Monoids (PCMs) for verification of pointer-manipulating sequential and concurrent programs. | 26 |
 bedrocksystems/brick | Formalization of C++ logic for verifying concurrent programming | 69 |
 jmeter-gradle-plugin/jmeter-gradle-plugin | A Gradle plugin to run JMeter tests for performance analysis and load testing. | 52 |
 foreverbell/verified | A collection of formalized and provable data structures and algorithms in Coq for educational purposes | 46 |
| verifytests/verify.moq | Adds Verify support for Moq types to verify mock behavior and assertions | 14 |
 markusamshove/kluent | A fluent assertion library for Kotlin to simplify testing and validation of code behavior. | 867 |
 lkujaw/blake2s | Implementation of the BLAKE2s hash function in Ada for secure data integrity and authenticity verification. | 1 |
 dapphub/k-dss | Formal specification and verification of a specific smart contract function. | 45 |
| verifytests/verify.xaml | A tool for verifying the correctness of Xaml UIs. | 21 |
 chiselverify/chiselverify | A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog | 141 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |