nicolasdilley / Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
☆39Updated last year
Related projects: ⓘ
- Goose converts a small subset of Go to Coq☆100Updated 2 weeks ago
- 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.☆109Updated this week
- Go static program analyser☆58Updated 4 years ago
- ☆51Updated 3 years ago
- x86-64 instruction encoder in Go☆21Updated 4 years ago
- symbolic reachability checker☆22Updated 2 years ago
- Work space for golang.org/x/perf version 2☆20Updated 3 years ago
- Verifying concurrent crash-safe systems☆143Updated this week
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 5 months ago
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- automate Go compiler comparisons☆24Updated last year
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- ViewStamped Replication implementation in Go☆35Updated 10 months ago
- Fuzz Go defer/panic/recover☆27Updated 3 years ago
- Bindings for the Z3 SMT solver☆28Updated 2 years ago
- ☆63Updated 3 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Go regexp for binary/latin-1 data☆49Updated 5 years ago
- ☆29Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- Package ikitai is an optimizing just-in-time compiler for SSA-transformed Go.☆17Updated 4 years ago
- Verified, concurrent, crash-safe transaction system☆50Updated 2 months ago
- A simple static checker for unused results.☆23Updated 8 months ago
- Automatically exported from code.google.com/p/gosmith☆51Updated 8 years ago
- ☆12Updated 3 months ago
- Run Go executables under llvm-mca☆13Updated 2 years ago
- Object file abstractions in Go☆30Updated 5 months ago
- A fuzzer that generates random Go programs☆19Updated 2 weeks ago
- Allotment Routing Table☆57Updated 2 years ago