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:
- JaTyC: a typestate checker for Java☆17Updated 6 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Definitional implementation of Cedar language and utilities for DRT☆129Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated last week
- PL conference deadline countdowns☆61Updated last week
- AWS Encryption SDK☆51Updated this week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated 5 months ago
- ☆53Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- RFCs for Cedar☆18Updated last month
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- TurnKey artifact for Z3☆39Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- A collaborative bibliography of papers related to property-based testing☆14Updated last week
- Partition refinement☆15Updated last year
- ☆12Updated 6 months ago
- ☆44Updated last month
- An automated deductive program verifier based on concurrent separation logic☆20Updated 3 weeks ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 5 months ago
- Spoofax runtime☆147Updated 4 months ago
- The Gillian Platform main repository☆88Updated 3 weeks ago
- A Scala library for controlling/interacting with Isabelle☆40Updated 2 months ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆130Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆111Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- An overview of property-based testing functionality☆71Updated 3 months ago
- ☆37Updated 5 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆215Updated last month
- Verifying the SCION architecture using Gobra☆11Updated 2 weeks ago