charlesgery / viseagull
☆14Updated 3 years ago
Alternatives and similar repositories for viseagull:
Users that are interested in viseagull are comparing it to the libraries listed below
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- TurnKey artifact for Z3☆36Updated last week
- ☆81Updated last month
- Pluggable type-checking for Java☆20Updated this week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated 2 years ago
- AWS Encryption SDK☆44Updated last week
- GAPT: General Architecture for Proof Theory☆98Updated 2 weeks ago
- PL conference deadline countdowns☆60Updated last month
- A Scala library for controlling/interacting with Isabelle☆39Updated 9 months ago
- ☆22Updated 4 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆35Updated last month
- Verification framework and tool for higher-order Scala programs☆372Updated this week
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆72Updated last week
- A collaborative bibliography of papers related to property-based testing☆13Updated 2 weeks ago
- ☆37Updated last week
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆13Updated 4 months ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆16Updated 2 years ago
- Bolts: Stainless Verified Scala Examples☆21Updated last month
- A Library for Representing Recursive and Impure Programs in Coq☆217Updated last month
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated 3 weeks ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆63Updated 2 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Solver for higher-order functional programs, used by Stainless☆90Updated this week
- Dependent Object Types (DOT), bottom up☆86Updated 3 years ago
- Interactive Theorem Proving based on Inox☆10Updated 6 years ago
- ☆42Updated 3 weeks ago