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:
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆138Updated last week
- Goose converts a subset of Go to Rocq☆134Updated this week
- Go static program analyser☆58Updated 5 years ago
- ☆53Updated 4 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Bindings for the Z3 SMT solver☆30Updated 3 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆193Updated 2 weeks ago
- automate Go compiler comparisons☆24Updated 2 years ago
- Verified, concurrent, crash-safe transaction system☆59Updated last year
- Verifying concurrent storage and distributed systems☆205Updated this week
- CRAQ (Chain Replication with Apportioned Queries) in Go☆145Updated 3 years ago
- ☆77Updated 4 years ago
- ☆194Updated 3 years ago
- Go (golang) bindings to the Z3 SMT Solver☆145Updated 3 years ago
- A fast SAT solver☆153Updated 4 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- C++ symbol name demangler written in Go☆177Updated 3 months ago
- A fuzzer that generates random Go programs☆19Updated last month
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature type…☆109Updated last year
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 4 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆134Updated this week
- ☆25Updated 3 years ago
- Go heap dump viewer with object graphs. (Works with Go 1.21)☆24Updated last year
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆29Updated 8 months ago
- discohash☆15Updated 3 years ago
- Perf Utilities for Go☆109Updated 2 years ago
- Fuzz Go defer/panic/recover☆27Updated 4 years ago
- model checking samples☆17Updated 4 years ago