cedar-policy / rfcs
RFCs for Cedar
☆16Updated last week
Alternatives and similar repositories for rfcs:
Users that are interested in rfcs are comparing it to the libraries listed below
- Definitional implementation of Cedar language and utilities for DRT☆100Updated this week
- Static Analysis Framework for Modular Analyses☆12Updated this week
- SampCert : Verified Differential Privacy☆71Updated 6 months ago
- AWS Encryption SDK☆42Updated this week
- ☆21Updated 2 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆38Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 10 months ago
- PC-miner tool for program chairs☆24Updated 2 months ago
- TriCera: a model checker for C programs☆24Updated last week
- A model checker for infinite-state systems.☆70Updated 2 months ago
- Lean models of Rust libraries☆12Updated 5 months ago
- ☆139Updated last week
- Separation Logic Proofs in Lean☆34Updated 2 months ago
- ☆12Updated this week
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆13Updated 3 months ago
- A foundational framework for modular cryptographic proofs in Coq☆61Updated 3 weeks ago
- Python client for coq-lsp☆31Updated 4 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆51Updated 10 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 9 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A central repository for specifications of cryptographic algorithms in Cryptol☆40Updated this week
- Definition of the Viper intermediate verification language.☆81Updated this week
- An automated deductive program verifier based on concurrent separation logic☆14Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆68Updated this week
- Libraries useful for Dafny programs☆43Updated 2 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week