Stars
80
Forks
27
Language
OCaml
Last Updated
May 22, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Python | 8 | A model checker and assume/guarantee contract generator for Lustre programs. | May 22, 2022 | |
| C | 4 | An SMT-based bounded model checker for C | Nov 09, 2022 | |
| C | 171 | The efficient SMT-based context-bounded model checker (ESBMC) | Apr 27, 2023 | |
| Haskell | 4 | A package for verifying safety properties of Copilot programs using model-checking | Jul 09, 2021 | |
| Haskell | 177 | SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using … | Aug 20, 2022 | |
| Java | 3 | Model Checker for Java Programs | Oct 20, 2021 | |
| Haskell | 39 | Formally prove properties of Haskell programs using SBV/SMT. | Jan 09, 2022 | |
| OCaml | 13 | A model-checker for caml programs. | Apr 26, 2021 | |
| OCaml | 33 | MoCHi: Model Checker for Higher-Order Programs | Jul 28, 2022 | |
| Scala | 14 | TriCera: a model checker for C programs | Apr 17, 2023 | |
| Python | 120 | An automatic engine for predicting materials properties. | Apr 25, 2023 | |
| Haskell | 3 | SMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems | Jan 03, 2023 | |
| C++ | 3 | A model-based API Fuzzer for SMT Solvers. | May 02, 2022 | |
| Isabelle | 527 | Black-box transactional safety checker based on cycle detection | Oct 13, 2022 | |
| OCaml | 8 | saturation-based HORS model checker | Dec 21, 2021 | |
| C# | 4 | Easy to use query based search engine for JLCPCB SMT service. | Apr 23, 2023 | |
| OCaml | 7 | A Type-Based HFL Model Checker | Apr 27, 2022 | |
| Python | 17 | A multi-formalism, multi-solution model-checker centered on the language GAL | Jun 15, 2022 | |
| Clojure | 105 | A Clojure model checker (using the TLA+/TLC engine) | Apr 14, 2023 | |
| Python | 4 | Spell Checker based on Ngrams Language Model | May 16, 2020 | |
| Python | 7 | An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT … | Apr 18, 2023 | |
| Python | 3 | Introductory code for CEGIS for LTL properties applied to Robotics safety and liveness properties | Dec 15, 2022 | |
| Haskell | 4 | Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them … | Apr 18, 2021 | |
| None | 3 | RTTI-based automatic language translator engine. | Mar 31, 2023 | |
| OCaml | 22 | Experimental model finder/SMT solver for functional programming. | Feb 26, 2023 | |
| C++ | 27 | Firmware for the 0816 automatic 3d printed smt feeder for OpenPnP. | May 01, 2023 | |
| Julia | 2 | Automatic multi-documents, multi-topics summarization based on topic extraction | Jul 25, 2019 | |
| VimL | 12 | Automatic CoffeeScript syntax validation checker for Vim | Jun 09, 2017 | |
| None | 17 | Mechanic Parts of the 3d printed automatic smt feeder for OpenPnP. | Feb 26, 2023 | |
| PHP | 2 | High Availability and Safety Automatic Algorithm Online-Judge System for Examinations based on NOJ. | Jan 28, 2023 | |
| Java | 2 | An API for constructing Lustre programs, running Kind 2, and showing results/suggestions. | Mar 06, 2023 | |
| C | 5 | CTL symbolic model-checker based on libDDD and libITS | Dec 29, 2021 | |
| Java | 8 | App Engine-based link checker for AdWords Scripts and Apps Script | Jan 27, 2022 | |
| JavaScript | 27 | Croquet-based multi-player game engine | Jul 26, 2022 | |
| None | 3 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Nov 16, 2022 | |
| None | 3 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 13, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 08, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 11, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 13, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 | |
| C++ | 3 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 13, 2022 | |
| None | 3 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 14, 2022 | |
| C++ | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 08, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 11, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Sep 21, 2022 | |
| None | 2 | IoT Based Safety Gadget for Child Safety Monitoring & Notification | Oct 12, 2022 |