formal-verification
Here are 478 public repositories matching this topic...
KeY Theorem Prover for Deductive Java Verification
-
Updated
May 22, 2024 - Java
Interface with the rustc compiler for the purpose of program verification
-
Updated
May 22, 2024 - Rust
Creusot helps you prove your code is correct in an automated fashion.
-
Updated
May 22, 2024 - Rust
Everything and the kitchen sink
-
Updated
May 22, 2024 - TypeScript
A high-performance IC3/PDR algorithm implementation in Rust.
-
Updated
May 22, 2024 - Rust
ACL2 System and Books as Maintained by the Community
-
Updated
May 22, 2024 - Common Lisp
A cryptographic framework, proven for correctness in SPARK
-
Updated
May 22, 2024 - Ada
The P programming language.
-
Updated
May 22, 2024 - C#
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
-
Updated
May 21, 2024 - TeX
Normalizing flows for neuro-symbolic AI
-
Updated
May 21, 2024 - Python
Learn TLA+ for free! No prior experience necessary!
-
Updated
May 21, 2024 - TLA
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
-
Updated
May 21, 2024 - Coq
A verification toolchain for Rust programs
-
Updated
May 22, 2024 - OCaml
Verified Software Toolchain
-
Updated
May 21, 2024 - Coq
Formal analysis for the Electrod formal specification language
-
Updated
May 21, 2024 - OCaml
CakeML: A Verified Implementation of ML
-
Updated
May 21, 2024 - Standard ML
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."