uuverifiers / autosatLinks
Constructing automata with SAT solvers
☆8Updated 6 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below
Sorting:
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- ☆19Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- The Cubicle model checker☆14Updated last year
- CNF minimizer and minimal independent set minimizer☆19Updated last week
- Dafny for Metatheory of Programming Languages☆25Updated last month
- Online BDD Simulation Tool☆18Updated 3 years ago
- ☆40Updated 6 years ago
- Code for enumeration from a CFG☆18Updated last year
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Stratified synthesis for learning machine code instruction semantics☆37Updated 3 weeks ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Language bindings for Maude☆23Updated 5 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- Unified Maude model-checking tool☆12Updated 5 months ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Bolts: Stainless Verified Scala Examples☆22Updated last month
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- Python term rewriting☆29Updated 12 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year