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
- Godel Checker with data race detection☆9Updated 3 years ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆116Updated this week
- Go static program analyser☆58Updated 4 years ago
- Goose converts a subset of Go to Rocq☆110Updated 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
- Commands☆51Updated 9 months ago
- automate Go compiler comparisons☆24Updated last year
- ☆53Updated 3 years ago
- symbolic reachability checker☆23Updated 3 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- ☆63Updated 4 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 10 months ago
- A fuzzer that generates random Go programs☆19Updated 5 months ago
- Go regexp for binary/latin-1 data☆49Updated 5 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- Automatic fuzz targets generation for Golang packages☆53Updated last month
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Simulation of various Go GC pacer models☆12Updated 4 years ago
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- 🃏 The Go SSA Playground: Exploring SSA IR | https://golang.design/gossa☆77Updated last year
- ssaview live-renders the SSA representation of a go program☆69Updated 9 years ago
- A simple static checker for unused results.☆23Updated last year
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- Verifying concurrent crash-safe systems☆172Updated this week
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆106Updated 6 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆38Updated 2 months ago