ARchitect helps non-technical users create Automated Reasoning policies from their document
☆44Sep 10, 2026Updated last month
Alternatives and similar repositories for sample-automated-reasoning-formalization
Users that are interested in sample-automated-reasoning-formalization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Foundation is a repository of formal cryptographic specifications☆60Oct 26, 2026Updated last week
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Computational complexity theory in Lean built on top of CSLib.☆22Updated this week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆36Updated this week
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- This repository contains sample IaC templates to demonstrate how to leverage Codebuild provisioning with AWS Proton.☆30Feb 12, 2026Updated 8 months ago
- An auto-active program verifier in Lean☆134Oct 26, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆32Nov 18, 2025Updated 11 months ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- ☆48Jun 26, 2026Updated 4 months ago
- ☆289Updated this week
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆41Apr 9, 2023Updated 3 years ago
- Amazon CloudWatch Embedded Metric Format Client Library☆26Oct 13, 2026Updated 3 weeks ago
- ☆18Mar 24, 2021Updated 5 years ago
- Example of using Amazon EventBridge OpenAPI schemas with TypeScript and the AWS CDK☆14Oct 10, 2022Updated 4 years ago
- This project is an AWS Cloud Development Kit (CDK) implementation of Gregor Hohpe's Loan Broker example. The purpose is to show how serv…☆30Apr 15, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆18Jan 11, 2024Updated 2 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- Convert low ghidra pcode to verifiable C☆25Sep 13, 2024Updated 2 years ago
- ☆15Oct 18, 2026Updated 2 weeks ago
- ☆17Jul 11, 2025Updated last year
- ☆50Oct 16, 2026Updated 3 weeks ago
- Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald☆19Apr 10, 2026Updated 6 months ago
- A Tamarin model and analysis of EMV payments (Europay, Mastercard, Visa)☆37Feb 8, 2021Updated 5 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Goblin OGM on top of TinkerPop 3☆11Jul 20, 2023Updated 3 years ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆86Aug 17, 2026Updated 2 months ago
- ☆14Feb 26, 2024Updated 2 years ago
- a stack-separated way to bringing together common AWS services useful in a fullstack application that uses AWS Amplify libraries☆22Aug 4, 2022Updated 4 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- ☆14Jun 13, 2016Updated 10 years ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago