HaoxianChen / declarative-smart-contractsLinks
☆13Updated last month
Alternatives and similar repositories for declarative-smart-contracts
Users that are interested in declarative-smart-contracts are comparing it to the libraries listed below
Sorting:
- ☆15Updated 3 years ago
- ☆17Updated 3 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Updated 9 years ago
- ☆20Updated 6 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆23Updated 3 years ago
- Exercises for the Dafny Tutorial☆11Updated 7 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated last year
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra☆17Updated this week
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 8 months ago
- Intrepyd Model Checker☆18Updated 4 years ago
- The Eldarica model checker☆98Updated this week
- Staged Abstract Interpreters☆68Updated 2 years ago
- ☆31Updated this week
- Repository of benchmarks for SYNTCOMP☆14Updated 2 months ago
- Solver for Constrained Horn Clauses☆48Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆30Updated last year
- TriCera: a model checker for C programs☆26Updated this week
- ☆16Updated 3 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆16Updated 2 weeks ago
- IC3PO: IC3 for Proving Protocol Properties☆28Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- ☆19Updated last year
- Connecting bv_decide to SMTLIB.☆13Updated 3 months ago
- Most influential papers in programming languages☆57Updated 10 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago