nicolasdilley / Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
☆41Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Gomela
- Goose converts a small subset of Go to Coq☆105Updated last week
- Godel Checker with data race detection☆9Updated 2 years ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆112Updated this week
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 7 months ago
- Go static program analyser☆58Updated 4 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Verifying concurrent crash-safe systems☆164Updated this week
- ☆19Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆35Updated this week
- Go regexp for binary/latin-1 data☆49Updated 5 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Bindings for the Z3 SMT solver☆29Updated 2 years ago
- ☆52Updated 3 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- automate Go compiler comparisons☆24Updated last year
- 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
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆174Updated last week
- Run Go executables under llvm-mca☆13Updated 2 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Gong liveness and channel safety checker☆30Updated 6 years ago
- ☆24Updated 2 years ago
- ssaview live-renders the SSA representation of a go program☆69Updated 9 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- Verification of BPF JIT compilers☆54Updated last year
- Automatic fuzz targets generation for Golang packages☆53Updated 4 months ago
- Fuzz Go defer/panic/recover☆27Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- Measuring branch coverage of golang test☆27Updated 4 years ago