nicolasdilley / Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
☆44Updated last year
Alternatives and similar repositories for Gomela:
Users that are interested in Gomela are comparing it to the libraries listed below
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆124Updated 2 weeks ago
- Goose converts a subset of Go to Rocq☆116Updated this week
- Godel Checker with data race detection☆9Updated 3 years ago
- Go static program analyser☆58Updated 5 years ago
- Verifying concurrent crash-safe systems☆177Updated this week
- ☆53Updated 3 years ago
- Tough Fuzzer is an obstacle course for go-fuzz composed of a series of small code samples which encapsulate the most common obstacles to …☆18Updated 3 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- automate Go compiler comparisons☆24Updated last year
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- symbolic reachability checker☆23Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- A fuzzer that generates random Go programs☆19Updated 2 weeks ago
- Allotment Routing Table☆57Updated 3 years ago
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- Commands☆51Updated 11 months ago
- Numerical integration routines for Rust☆14Updated 5 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- Go implementation of Stream VByte integer compression☆23Updated 5 years ago
- A simple static checker for unused results.☆23Updated last year
- Reproducing a bug in the Glibc condition variables using TLA+☆11Updated 2 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆37Updated 6 months ago
- Go regexp for binary/latin-1 data☆48Updated 5 years ago
- go implementation of anchorhash☆15Updated 4 years ago
- Benchmark and test getter + runner☆29Updated 3 years ago
- Go allocation trace utilities☆14Updated 4 years ago
- implementation of the Allotment Routing Table (ART) algorithm by Donald Knuth, as described in the paper by Yoichi Hariguchi☆55Updated last year