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
- Goose converts a subset of Go to Rocq☆113Updated this week
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆124Updated last week
- Go static program analyser☆58Updated 4 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
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- Verifying concurrent crash-safe systems☆175Updated this week
- Godel Checker with data race detection☆9Updated 3 years ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- automate Go compiler comparisons☆24Updated last year
- ☆62Updated 4 years ago
- A fuzzer that generates random Go programs☆19Updated last week
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- Commands☆51Updated 10 months ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 11 months ago
- ☆195Updated 2 years ago
- Allotment Routing Table☆57Updated 3 years ago
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆176Updated last week
- ViewStamped Replication implementation in Go☆39Updated last year
- Go regexp for binary/latin-1 data☆48Updated 5 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Go allocation trace utilities☆14Updated 4 years ago
- Console IO monitor using BPF to record per IO latency☆17Updated last year
- symbolic reachability checker☆23Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- NUMA bindings for Go, requires libnuma.☆26Updated 5 years ago
- a golang test framework for asserting expected escape analysis results & heap allocations☆70Updated 3 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆36Updated 5 months ago