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:
- Goose converts a subset of Go to Rocq☆122Updated this week
- Go static program analyser☆58Updated 5 years ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆128Updated last week
- 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
- Godel Checker with data race detection☆9Updated 3 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- symbolic reachability checker☆23Updated 3 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- ☆53Updated 4 years ago
- Measuring branch coverage of golang test☆28Updated 5 years ago
- Allotment Routing Table☆57Updated 3 years ago
- Run Go executables under llvm-mca☆13Updated 3 years ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- Verifying concurrent crash-safe systems☆187Updated this week
- Go allocation trace utilities☆15Updated 4 years ago
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- Simulation of various Go GC pacer models☆13Updated 4 years ago
- Package networkd enables control of systemd-networkd using D-Bus. MIT Licensed.☆16Updated last year
- A fuzzer that generates random Go programs☆19Updated 2 months ago
- Go implementation of Stream VByte integer compression☆23Updated 5 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated 7 months ago
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Updated 6 years ago
- Verified, concurrent, crash-safe transaction system☆59Updated 11 months ago
- Bindings for the Z3 SMT solver☆31Updated 2 years ago
- Commands☆52Updated last year
- 🃏 The Go SSA Playground: Exploring SSA IR | https://golang.design/gossa☆77Updated 2 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆184Updated 2 weeks ago