go-air / reach
symbolic reachability checker
☆23Updated 3 years ago
Alternatives and similar repositories for reach:
Users that are interested in reach are comparing it to the libraries listed below
- Golang implementation of datalog, port of MITRE corporation's lua implementation☆24Updated 4 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆41Updated last year
- A fast SAT solver☆147Updated 3 years ago
- ☆15Updated 8 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Programming with Spaces in Go☆12Updated 6 years ago
- model checking samples☆18Updated 3 years ago
- Godel Checker with data race detection☆9Updated 3 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Documentation☆41Updated 3 weeks ago
- Go module and utility for executing machine code☆23Updated last year
- Adaptive version of KMV algorithm for cardinality estimation☆22Updated 5 years ago
- Go static program analyser☆58Updated 4 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- ☆23Updated 6 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 11 months ago
- Golang Hash Array Map Trie☆11Updated 3 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- ☆14Updated 7 years ago
- Graphs in go☆18Updated 2 years ago
- A datalog prover and interpreter in Go.☆35Updated 9 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated last year
- The Cubicle model checker☆13Updated last year
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Extremely experimental toy go compiler☆19Updated 4 years ago
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Updated 2 years ago