cedar-policy / rfcsLinks
RFCs for Cedar
☆16Updated last month
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☆115Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆80Updated this week
- AWS Encryption SDK☆49Updated this week
- ☆13Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- SampCert : Verified Differential Privacy☆75Updated last month
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆102Updated last week
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- ☆11Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆50Updated 2 weeks ago
- TriCera: a model checker for C programs☆25Updated last week
- Separation Logic Proofs in Lean☆36Updated 3 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆37Updated 3 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- A mechanisation of Wasm in Coq(Rocq)☆106Updated last week
- A framework for implementing and certifying impure computations in Coq☆52Updated last year
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 7 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A foundational framework for modular cryptographic proofs in Coq☆65Updated last week
- ☆18Updated 2 months ago
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆37Updated 2 weeks ago
- Libraries useful for Dafny programs☆45Updated last month
- Definition of the Viper intermediate verification language.☆86Updated this week
- Specifications of cryptographic algorithms in Cryptol☆41Updated this week
- SymDiff-Differential-Program-Verifier☆36Updated last week
- ☆21Updated this week
- A web-based graphical proof assistant for LK and Hoare logic.☆35Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Updated 2 years ago