Stars
Minimal reproduction of DeepSeek R1-Zero
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
A project to map out the relations between different equational theories of Magmas.
Public reference documents for the SMT-LIB standard
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Command line wrapper to interact with CodeGuru Reviewer
List of bugs found in distributed protocols
An equational theorem prover based on Knuth-Bendix completion
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Materials related to security: docs, checklists, processes, etc...
Management of Benchmark Instances and Instance Attributes
This repository contains code developed by the SRI team for the IARPA/TrojAI program.
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
Create beautiful diagrams just by typing notation in plain text.
SRI-CSL / solidity
Forked from ethereum/solidityThis is solc-verify, a modular verifier for Solidity.
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Source code verification service for Ethereum smart contracts
This repository contains 47,398 smart contracts extracted from the Ethereum network.
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Given a list of regexes, generate all possible strings that matches all of them.