55 results found Sort:
The P programming language.
Created
2015-06-21
4,152 commits to master branch, last one 17 hours ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,650 commits to main branch, last one 9 days ago
A static verifier for Rust, based on the Viper verification infrastructure.
Created
2019-05-22
7,315 commits to master branch, last one 2 months ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,219 commits to master branch, last one a day ago
CakeML: A Verified Implementation of ML
Created
2012-10-09
22,688 commits to master branch, last one 3 days ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one 2 months ago
十分钟魔法练习
Created
2020-11-09
94 commits to main branch, last one 9 months ago
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one about a month ago
A gently curated list of companies using verification formal methods in industry
Created
2018-02-13
94 commits to master branch, last one 2 months ago
A List of Free and Open Source Hardware Verification Tools and Frameworks
Created
2018-12-21
75 commits to master branch, last one 8 months ago
Verified Software Toolchain
Created
2014-11-21
7,674 commits to master branch, last one 22 hours ago
A Fast and Safe Python based on PyPy
Created
2018-06-04
121 commits to mesapy2.7 branch, last one 4 years ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
37,762 commits to master branch, last one a day ago
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Created
2022-12-28
1,886 commits to main branch, last one a day ago
My personal repository of formally verified mathematics.
Created
2017-07-04
1,328 commits to main branch, last one 19 days ago
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created
2021-04-10
251 commits to main branch, last one a day ago
Please see https://github.com/hacspec/hax
This repository has been archived
(exclude archived)
Created
2020-03-12
1,416 commits to master branch, last one 3 months ago
Scalable symbolic-numeric set computations in Julia
Created
2017-10-03
5,572 commits to master branch, last one 13 days ago
Awesome ASIC design verification
Created
2020-03-02
19 commits to master branch, last one 2 years ago
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 2 years ago
Computing reachable states of dynamical systems in Julia
Created
2019-12-03
1,846 commits to master branch, last one 26 days ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
173 commits to master branch, last one 10 days ago
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Created
2018-05-09
778 commits to Community2018 branch, last one 5 years ago
A verification toolchain for Rust programs
Created
2021-11-02
2,237 commits to main branch, last one a day ago
A Rust verification tool
Created
2023-01-25
2,268 commits to main branch, last one 9 days ago
Tools for Yul.
Created
2022-08-05
242 commits to main branch, last one about a year ago
A Verified Compiler for Gallina, Written in Gallina
Created
2017-09-13
2,267 commits to master branch, last one 3 days ago
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Created
2018-02-07
3,036 commits to main branch, last one 19 days ago
Neural Network Verification Software Tool
safe-ai
autonomy
reachability
verification
safe-autonomy
cyber-physical
formal-methods
hybrid-systems
neural-network
trustworthy-ai
assured-autonomy
formal-verification
reachability-analysis
cyber-physical-systems
robustness-verification
neural-network-verification
neural-network-certification
trustworthy-machine-learning
Created
2018-08-20
1,699 commits to master branch, last one 2 months ago
Public snapshots of "ACSL by Example"
Created
2017-06-13
101 commits to master branch, last one 2 years ago