Movatterモバイル変換

Skip to content

#

formal-verification

Here are 554 public repositories matching this topic...

Language:All

Filter by language

All554 Python63 Coq49 TeX32 C28 Rust26 Java23 C++19 Lean18 OCaml18 Ada16

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

p-org /P

The P programming language.

programming-language distributed-systems state-machine robotics asynchronous systematic-testing event-driven model-checking formal-methods p formal-verification

UpdatedMar 17, 2025
C#

hacl-star /hacl-star

HACL*, a formally verified cryptographic library written in F*

security cryptography high-performance verification formal-methods verified-primitives formal-verification everest inria hacl

UpdatedMar 16, 2025
F*

viperproject /prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

rust verification viper formal-verification

UpdatedMar 11, 2025
Rust

creusot

creusot-rs /creusot

Creusot helps you prove your code is correct in an automated fashion.

rust proof verification rust-lang formal-methods formal-verification deductive-reasoning why3

UpdatedMar 17, 2025
Rust

CakeML /cakeml

CakeML: A Verified Implementation of ML

programming-language compiler formal-semantics theorem-proving sml formal-verification hol

UpdatedMar 17, 2025
Standard ML

magmide /magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

UpdatedApr 1, 2024
Coq

niltok /magic-in-ten-mins

十分钟魔法练习

java tutorial functional-programming lambda-calculus monad hkt adt formal-verification formal-proofs

UpdatedSep 2, 2023
HTML

formal-land /coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!✈️ 🚀 ⚕️ 🏦

rust coq proof formal-verification

UpdatedMar 17, 2025
Coq

sarsko /CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

rust proof verification rust-lang formal-methods sat-solver minisat formal-verification sat automated-reasoning satisfiability deductive-reasoning

UpdatedApr 10, 2024
Rust

ligurio /practical-fm

A gently curated list of companies using verification formal methods in industry

practice coq software-engineering formal-methods formal-verification tlaplus tla-specification formal-verification-methods

UpdatedFeb 11, 2025

ben-marshall /awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

python coverage awesome hardware vhdl verification verilog awesome-list formal-verification constrained-random-verification

UpdatedSep 8, 2023

PrincetonUniversity /VST

Verified Software Toolchain

c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification coq-vst

UpdatedMar 13, 2025
Coq

acl2 /acl2

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

UpdatedMar 17, 2025
Common Lisp

mesalock-linux /mesapy

A Fast and Safe Python based on PyPy

python rust memory-safety pypy sgx formal-verification

UpdatedAug 6, 2023
Python

newca12 /awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

rust dependent-types logic theorem-proving formal-verification prover automated-theorem-provers reasoning theorem-prover constructive-mathematics proof-assistants

UpdatedMar 10, 2025

stepchowfun /proofs

My personal repository of formally verified mathematics.

coq proof-assistant type-theory formal-verification interactive-theorem-proving

UpdatedMar 14, 2025
Coq

troyguo /awesome-dv

Awesome ASIC design verification

asic verification uvm formal-verification asic-verification

UpdatedFeb 9, 2022

Verified-Intelligence /alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

neural-networks formal-verification robustness adversarial-examples adversarial-robustness robustness-verification neural-network-verification

UpdatedJan 31, 2025
Python

statebox /idris-ct

formally verified category theory library

category-theory formal-verification formal-proofs

UpdatedJun 23, 2020
Idris

JuliaReach /LazySets.jl

Scalable symbolic-numeric set computations in Julia

calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation

UpdatedFeb 22, 2025
Julia

Improve this page

Add a description, image, and links to theformal-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theformal-verification topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp