Verifying the SCION architecture using Gobra
☆12Sep 22, 2026Updated last month
Alternatives and similar repositories for VerifiedSCION
Users that are interested in VerifiedSCION are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- TLA embedding in Verus☆32Updated this week
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆226Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- Linearizability Hoare Logic☆18Sep 16, 2026Updated last month
- ☆10Apr 20, 2016Updated 10 years ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- A tool for synthesis of Rust code, very early prototype☆13Jan 9, 2024Updated 2 years ago
- Auto formalization of the CLRS text book☆40Oct 22, 2026Updated last week
- Assign text categories to a buffer for mass operations☆17Sep 21, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 😎 A list of awesome SCION tools, applications, libraries etc.☆62Jul 21, 2026Updated 3 months ago
- Home Assistant vehicle charger integration☆10Jul 2, 2026Updated 3 months ago
- Home Assistant integrator for SAJ H1 inverters☆13Mar 14, 2024Updated 2 years ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- Definition of the Viper intermediate verification language.☆100Oct 22, 2026Updated last week
- ☆22Jan 31, 2026Updated 8 months ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Separation Logic Proofs in Lean☆57Jan 28, 2026Updated 9 months ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- Deductive verification infrastructure for probabilistic programs☆30Oct 19, 2026Updated last week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- source files for GloBI website☆10Oct 17, 2026Updated last week
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- Betterehau - Custom Climate Control for Rehau Nea Smart 2 for Home Assistant☆34Oct 22, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A memory allocator verified with Verus☆41Updated this week
- DPDK-based UDP echo server☆13Mar 27, 2016Updated 10 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆151Updated this week
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆39Oct 22, 2026Updated last week
- An automated deductive program verifier based on concurrent separation logic☆34Updated this week
- Use cases for ShadeMap API☆13Jun 10, 2024Updated 2 years ago