charlesgery / viseagullLinks
☆14Updated 4 years ago
Alternatives and similar repositories for viseagull
Users that are interested in viseagull are comparing it to the libraries listed below
Sorting:
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- AWS Encryption SDK☆53Updated last week
- SMTInterpol interpolating SMT solver☆68Updated 2 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆84Updated this week
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- PC-miner tool for program chairs☆29Updated 2 months ago
- TurnKey artifact for Z3☆42Updated last month
- PL conference deadline countdowns☆63Updated last week
- Pluggable type-checking for Java☆24Updated this week
- Verifying the SCION architecture using Gobra☆11Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- KeY Theorem Prover for Deductive Java Verification☆66Updated this week
- An automated deductive program verifier based on concurrent separation logic☆25Updated this week
- Definitional implementation of Cedar language and utilities for DRT☆140Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆123Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- Libraries useful for Dafny programs☆45Updated 3 months ago
- A collaborative bibliography of papers related to property-based testing☆16Updated this week
- ☆51Updated this week
- Definition of the Viper intermediate verification language.☆90Updated this week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated last year
- Tutorials and courses for Z3☆93Updated this week
- TLA+ questions, answers, and experiments☆23Updated 3 years ago
- An overview of property-based testing functionality☆74Updated 2 weeks ago
- ☆12Updated 9 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆237Updated last week