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:
- https://1000-plus.github.io/☆22Updated 3 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- AWS Encryption SDK☆59Updated this week
- PL conference deadline countdowns☆65Updated 2 weeks ago
- JaTyC: a typestate checker for Java☆19Updated 5 months ago
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago
- PC-miner tool for program chairs☆29Updated last month
- SMTInterpol interpolating SMT solver☆69Updated last week
- Type checking ifdef variability☆78Updated 4 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 3 years ago
- A collaborative bibliography of papers related to property-based testing☆16Updated last week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆11Updated 11 months ago
- ☆54Updated 3 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated 2 weeks ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆46Updated 11 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 3 years ago
- Definitional implementation of Cedar language and utilities for DRT☆152Updated this week
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆97Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆87Updated this week
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Updated 2 weeks ago
- Partition refinement☆16Updated 2 years ago
- TurnKey artifact for Z3☆43Updated 3 months ago
- Pluggable type-checking for Java☆27Updated this week
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- ☆23Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 7 months ago