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☆119Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆112Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 3 weeks ago
- ☆13Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆81Updated last week
- Libraries useful for Dafny programs☆45Updated 2 months ago
- SampCert : Verified Differential Privacy☆76Updated 2 months ago
- AWS Encryption SDK☆49Updated 2 weeks ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆52Updated last month
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆93Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆104Updated last week
- Collection of Automated Reasoners☆30Updated last week
- SymDiff-Differential-Program-Verifier☆36Updated this week
- Lean models of Rust libraries☆18Updated 10 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆109Updated last month
- A mechanisation of Wasm in Coq(Rocq)☆106Updated 2 weeks ago
- ☆52Updated 7 months ago
- Definition of the Viper intermediate verification language.☆87Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- SRI Sally: A model checker for infinite-state systems.☆74Updated 2 weeks ago
- ☆21Updated last week
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆38Updated 2 weeks ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆104Updated last week
- Separation Logic Proofs in Lean☆36Updated 3 months ago
- ☆36Updated 3 months ago
- Specifications of cryptographic algorithms in Cryptol☆41Updated last week
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago