The VerCors verification toolset for verifying parallel and concurrent software
☆109Jul 21, 2026Updated this week
Alternatives and similar repositories for vercors
Users that are interested in vercors 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.☆142Updated this week
- Definition of the Viper intermediate verification language.☆100Updated this week
- CN separation logic refinement type system for C☆56Updated this week
- An automated deductive program verifier based on concurrent separation logic☆30Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆39Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Research prototype tool for modular formal verification of C, Rust and Java programs☆494May 10, 2026Updated 2 months ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆65Jul 4, 2025Updated last year
- An intermediate verification language☆27Jan 4, 2026Updated 6 months ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- TriCera: a model checker for C programs☆27Jul 3, 2026Updated 2 weeks ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆34Dec 9, 2023Updated 2 years ago
- 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.
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- ☆39Updated this week
- A collaborative bibliography of papers related to property-based testing☆27Updated this week
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- A proof of Abel-Ruffini theorem.☆30Updated this week
- Communication between Coq and SAT/SMT solvers☆168Updated this week
- ☆13Apr 10, 2025Updated last year
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- 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.
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆18Jun 29, 2026Updated 3 weeks ago
- Program logic for developing and verifying distributed systems☆37Apr 29, 2026Updated 2 months ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆41Apr 7, 2026Updated 3 months ago
- Sources for the ANSI/ISO C Specification Language manual☆69Jun 23, 2026Updated 3 weeks ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆37Jan 15, 2026Updated 6 months ago
- A memory allocator verified with Verus☆35Jun 17, 2026Updated last month
- ☆23Mar 24, 2023Updated 3 years ago
- SymDiff-Differential-Program-Verifier☆39Aug 21, 2025Updated 11 months 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.
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆19Updated this week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 5 months ago
- ☆21Jun 25, 2026Updated 3 weeks ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- A verifier that integrates LLMs into automated C program verification☆15Apr 4, 2026Updated 3 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Jul 26, 2024Updated last year