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.☆135Updated this week
- ☆53Updated 4 years ago
- Goose converts a subset of Go to Rocq☆131Updated this week
- Go static program analyser☆58Updated 5 years ago
- automate Go compiler comparisons☆24Updated 2 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆192Updated last week
- Bindings for the Z3 SMT solver☆31Updated 3 years ago
- ☆77Updated 4 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Verifying concurrent crash-safe systems☆203Updated this 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 4 years ago