nicolasdilley / GomelaLinks
Tool developped for "Bounded verification of message passing concurrency in Go programs."
☆44Updated 2 years ago
Alternatives and similar repositories for Gomela
Users that are interested in Gomela are comparing it to the libraries listed below
Sorting:
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆126Updated last week
- Goose converts a subset of Go to Rocq☆120Updated last week
- Go static program analyser☆58Updated 5 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- ☆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
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Verifying concurrent crash-safe systems☆182Updated this week
- symbolic reachability checker☆23Updated 3 years ago
- A fuzzer that generates random Go programs☆19Updated last month
- automate Go compiler comparisons☆24Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- Commands☆52Updated last year
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Updated 2 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆183Updated 3 weeks ago
- A fast SAT solver☆148Updated 3 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- ☆51Updated 2 years ago
- Go implementation of Stream VByte integer compression☆23Updated 5 years ago
- Go heap dump viewer with object graphs. (Works with Go 1.21)☆24Updated 9 months ago
- Demo/experimental tools for playing with LSP logging output from Go's compiler, gc.☆12Updated last year
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- ViewStamped Replication implementation in Go☆39Updated last year
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- ☆76Updated 4 years ago
- A small SAT solver in Go☆23Updated 4 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆108Updated 10 months ago