cedar-policy / rfcsLinks
RFCs for Cedar
☆18Updated this week
Alternatives and similar repositories for rfcs
Users that are interested in rfcs are comparing it to the libraries listed below
Sorting:
- Definitional implementation of Cedar language and utilities for DRT☆138Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 weeks ago
- SampCert : Verified Differential Privacy☆82Updated 6 months ago
- ☆14Updated 2 months ago
- An automated deductive program verifier based on concurrent separation logic☆21Updated 2 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆100Updated last month
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated 11 months ago
- ☆101Updated last week
- AWS Encryption SDK☆53Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- ☆12Updated 8 months ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 3 months ago
- The Gillian Platform main repository☆90Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- ☆58Updated last month
- ☆186Updated this week
- Libraries useful for Dafny programs☆45Updated 2 months ago
- Verifying the SCION architecture using Gobra☆11Updated last month
- ☆39Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆69Updated 3 weeks ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- Apron Numerical Abstract Domain Library☆138Updated 7 months ago
- SMTInterpol interpolating SMT solver☆68Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆80Updated this week
- Datalog with support for SMT queries and first-order functional programming☆164Updated 2 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆87Updated 2 months ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆43Updated last month