The formally verified crypto library for Rust
-
Updated
Aug 7, 2025 - C
#
formal-verification
Here are 30 public repositories matching this topic...
Linux kernel library functions formally verified.
-
Updated
Feb 11, 2021 - C
Fully proved small C functions (examples for verification course).
-
Updated
Jun 26, 2017 - C
Dynamic analysis of multithreaded C programs
llvm concurrency multithreading dynamic-analysis program-analysis formal-verification partial-order-reduction
-
Updated
Feb 7, 2020 - C
A modified version of tpm2-tss that passed memory safety formal verification
-
Updated
Jul 26, 2019 - C
Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
-
Updated
Jun 17, 2019 - C
The ESBMC ibmc (Invariant Based Model Checking) Tool.
software-verification formal-verification bounded-model-checking large-language-models first-order-theorem-prover
-
Updated
Apr 15, 2025 - C
This program introduces formal verification to card-based cryptography by providing a technique which automatically finds new protocols using as few as possible operations and searches for lowest bounds on card-minimal protocols.
cryptography formal-verification bounded-model-checking cbmc automated-reasoning multiparty-computation card-protocols
-
Updated
Feb 8, 2023 - C
-
Updated
Mar 8, 2020 - C
Evrostos: The rLTL Verifier
c cpp logic verification specifications ltl temporal-logic formal-methods acm spin formal-verification nusmv robustness formal-specification verification-programming rltl-verifier rltl-specification hscc
-
Updated
Oct 25, 2021 - C
Yet Another Sat solvER
conflict-resolution solver first-order-logic satisfiability-modulo-theories sat-solver cdcl-algorithm propositional-logic smt smt-solver formal-verification sat backtracking-search resolution-proof satisfiability dpll-algorithm propositional-resolution conflict-based-search conflict-driven-clause-learning dpll-solver theory-solver
-
Updated
Aug 10, 2025 - C
Collection of Projects - Master's Degree Program
big-data functional-programming embedded-systems software-quality formal-verification research-methodology requirements-engineering agile-methodologies
-
Updated
Jul 2, 2020 - C
Verified DICE based Boot Firmware for STM32H7
-
Updated
Jul 1, 2021 - C
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
c parallel-computing model-checking formal-methods probabilistic multicore formal-verification model-checker ctl-formulas reachability-analysis
-
Updated
Nov 16, 2020 - C
The source code for the CASTLE Benchmark Tests, Wrappers, Evaluator, Diagrams and more
-
Updated
Mar 19, 2025 - C
Rust bindings for HACL* / EverCrypt (high assurance crypto)
-
Updated
Apr 12, 2020 - C
A wrapper repository adding functionality to NASA's ReFlow project, supported by the Elaenia project for floating point verification
-
Updated
Oct 30, 2024 - C
bioNuSMV is a fork and extension of https://github.com/hklarner/NuSMV-a, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of the verification of qualitative regulatory networks
-
Updated
Aug 1, 2018 - C
An experimental new programming language with verification features.
-
Updated
Jul 15, 2025 - C
Zero-overhead data marshalling protocol for safety-critical distributed systems with NASA-STD-8739.8 compliance, formal verification, and Zero Trust architecture.
serialization distributed-systems aerospace formal-verification c-library buffer-protocol safety-critical cross-language aegis-framework zero-overhead mission-critical cryptographic-protocols mathematical-proof zero-trust-security obinexus sinphase-governance data-marshalling nasa-compliance uscn-normalization audit-compliance
-
Updated
Jun 10, 2025 - C
Improve this page
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."