Definition of the Viper intermediate verification language.
☆100Oct 22, 2026Updated last week
Alternatives and similar repositories for silver
Users that are interested in silver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆151Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆39Oct 22, 2026Updated last week
- HTTP server that manages verification requests to different tools from the Viper tool stack.☆16Updated this week
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆229Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆114Oct 23, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,822Updated this week
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- Boogie☆606Oct 18, 2026Updated last week
- P4 formalization using Ott and HOL4☆20Updated this week
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- An automated deductive program verifier based on concurrent separation logic☆35Updated this week
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆303Updated this week
- 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.
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- VSCode Plugin for Gobra☆11Updated this week
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- ☆25Jun 25, 2026Updated 4 months ago
- New implementation of protocols☆15Updated this week
- This is the main repository for the Viper IDE extension for VS Code.☆14Updated this week
- CN separation logic refinement type system for C☆61Oct 22, 2026Updated last week
- Proof assistant based on first-order logic and set theory☆71Oct 22, 2026Updated last week
- 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.
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- The Steel separation logic library for F*☆40Jun 8, 2026Updated 4 months ago
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆503Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- Most influential papers in programming languages☆62Jan 20, 2025Updated last year
- A toolkit for enforcing logical specifications on neural networks☆136Updated this week
- 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.
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆167Oct 24, 2026Updated last week
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- The opensmt solver☆96Sep 28, 2026Updated last month
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- ☆22Updated this week
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- The Gillian Platform main repository☆104Updated this week