cedar-policy / cedar-specLinks
Definitional implementation of Cedar language and utilities for DRT
☆140Updated this week
Alternatives and similar repositories for cedar-spec
Users that are interested in cedar-spec are comparing it to the libraries listed below
Sorting:
- A verifier for automated and interactive proofs about transition systems.☆156Updated last month
- AWS Encryption SDK☆53Updated last week
- SampCert : Verified Differential Privacy☆83Updated 6 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated 2 weeks ago
- RFCs for Cedar☆18Updated last month
- Separation Logic Proofs in Lean☆45Updated 8 months ago
- A mechanisation of Wasm in Coq(Rocq)☆111Updated last week
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆131Updated this week
- Lean 4 kernel / 'external checker' written in Lean 4☆132Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆240Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated this week
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 2 months ago
- A Lean library for Computer Science☆171Updated this week
- A verification toolchain for Rust programs☆446Updated last week
- ☆188Updated last week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 5 months ago
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆70Updated 2 weeks ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆95Updated this week
- Wasm SpecTec specification tools☆81Updated last week
- Learn TLA+ for free! No prior experience necessary!☆231Updated 8 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- Definition of the Viper intermediate verification language.☆90Updated this week
- Coq plugin embedding elpi☆177Updated this week
- Interface with the rustc compiler for the purpose of program verification☆211Updated last week
- A Rust verification tool☆345Updated this week
- Language based on Rewriting Logic☆146Updated last week
- A gentle introduction to Isabelle and Isabelle/HOL☆15Updated 8 months ago
- Compositional Verification of Composite Byzantine Protocols☆13Updated last year