jmid / pbt-frameworksLinks
An overview of property-based testing functionality
☆67Updated 3 weeks ago
Alternatives and similar repositories for pbt-frameworks
Users that are interested in pbt-frameworks are comparing it to the libraries listed below
Sorting:
- Experimental model checker for testing concurrent algorithms☆36Updated 6 months ago
- Genetic program repair using GHC☆30Updated last year
- The Gillian Platform main repository☆86Updated 2 weeks ago
- Cerberus C semantics☆62Updated last week
- ☆55Updated 2 months ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- Staged Abstract Interpreters☆66Updated 2 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- EGraphs in OCaml☆65Updated last year
- Finite sets and maps for Coq with extensional equality☆30Updated 2 weeks ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Updated 3 years ago
- ☆51Updated 4 months ago
- An OCaml library providing a C parser and lexer☆42Updated 7 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- Hahn: A Coq library☆30Updated last year
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated 2 years ago
- The MemCAD static analyzer☆26Updated 3 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated last month
- multi-shot continuations in OCaml☆48Updated 4 months ago
- Relation algebra library for Coq☆48Updated 2 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 4 months ago
- Program logic for developing and verifying distributed systems☆34Updated last week
- A framework for implementing and certifying impure computations in Coq☆52Updated last year
- An OCaml mutation tester☆66Updated 2 months ago
- A deterministic parser with fused lexing☆73Updated last year
- Hoare Type Theory☆76Updated last week
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago