Stars
46
Forks
36
Language
Java
Last Updated
Feb 01, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Python | 3 | OpenTitan FI formal verification framework | Aug 13, 2022 | |
| Verilog | 3 | RISC-V Formal Verification Framework | Jun 05, 2022 | |
| Verilog | 24 | RISC-V Formal Verification Framework | Jul 18, 2022 | |
| Verilog | 2 | RISC-V Formal Verification Framework | May 21, 2021 | |
| Verilog | 4 | RISC-V Formal Verification Framework | Mar 26, 2022 | |
| None | 2 | RISC-V Formal Verification Framework | Jan 29, 2022 | |
| Vim script | 6 | Vim package supporting various formal languages. | Nov 30, 2022 | |
| Julia | 28 | A generic and modular framework for building custom iterative algorithms in Julia | May 21, 2022 | |
| Python | 2 | Concept of Python-based Formal Verification Framework | Mar 13, 2022 | |
| OCaml | 302 | Research prototype tool for modular formal verification of C and Java programs | Apr 19, 2023 | |
| TypeScript | 5 | Generic VM-based formal language matching framework | Dec 02, 2022 | |
| Agda | 6 | Formal verification of time complexity of some algorithms in Agda | Oct 30, 2017 | |
| GCC Machine Description | 7 | formal verification of multicollateral dai in the K framework | Feb 23, 2022 | |
| GCC Machine Description | 43 | formal verification of multicollateral dai in the K framework | Mar 02, 2023 | |
| Julia | 6 | Modular framework for cut pruning algorithms | Jun 30, 2022 | |
| C# | 12 | FORMULA 2.0: Formal Specifications for Verification and Synthesis | Jan 31, 2022 | |
| Coq | 81 | A quantum circuit language and formal verification tool | Mar 27, 2023 | |
| Solidity | 5 | Formal verification and fuzzing of Nova with DappTools. | Sep 26, 2021 | |
| Python | 3 | A set of algorithms for the formal verification and analysis of Neural Networks, implemented in … | Mar 08, 2023 | |
| Haxe | 6 | flexible logging framework supporting various "adaptors" | Mar 04, 2023 | |
| C | 510 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 16, 2022 | |
| None | 2 | Formal logic and software verification using interactive theorem provers | Jun 23, 2018 | |
| C | 16 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 11, 2022 | |
| Go | 20 | Formal verification of Elastic-Agent and more using BDD | Aug 27, 2022 | |
| Scala | 112 | UCLID5: formal modeling, verification, and synthesis of computational systems | Apr 29, 2023 | |
| Assembly | 37 | Playing around with Formal Verification of Verilog and VHDL | Oct 03, 2022 | |
| C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Mar 05, 2023 | |
| C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 14, 2023 | |
| None | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Mar 21, 2024 | |
| C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | May 14, 2024 | |
| C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | May 14, 2024 | |
| C++ | 171 | Pulls Together Computer Vision Algorithms into Highly-Modular Run-Time Configurable Systems | Jun 23, 2022 | |
| JavaScript | 6 | Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker | Oct 01, 2022 | |
| Smalltalk | 8 | Moose Algos contains generic libraries for various analysis algorithms. | Mar 11, 2023 | |
| None | 2 | The current test and formal verification status for the CGRA. | Feb 04, 2023 | |
| Coq | 100 | Formal specification and verification of hardware, especially for security and privacy. | Aug 08, 2022 | |
| Python | 7 | Modular, automatic and configurable package build system | Dec 12, 2021 | |
| C | 930 | Modular and configurable OS for embedded applications | Apr 11, 2023 | |
| OCaml | 7 | DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code | Apr 04, 2022 | |
| Java | 7 | A Generic Framework for Supporting Extensive Analysis of Android Applications | Mar 15, 2020 | |
| C++ | 3 | Generic LoRa receiver for bluetooth, ble and USB devices. Configurable for various TTGO and Uputronics … | Jun 21, 2022 | |
| None | 3 | Verification of various properties of algorithms using NuSMV tool with LTL specifications | Apr 17, 2018 | |
| PHP | 85 | Configurable and modular approach to query Filters for Laravel | Jun 27, 2022 | |
| Rust | 8 | Generic and lazy tree traversal algorithms | Jan 29, 2023 | |
| Jupyter Notebook | 4 | Jupyter Notebook Guide for implementing Face Recognition and Face Verification algorithms with Tensorflow framework. | Feb 12, 2022 | |
| Lua | 479 | A generic and modular lua sidebar for Neovim | Jun 22, 2022 | |
| C++ | 2 | Logic synthesis and verification framework | Jan 03, 2023 | |
| Python | 3 | A few implementations of Formal Languages and Automata theory algorithms. | Apr 24, 2023 | |
| C++ | 8 | Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools | Apr 26, 2022 | |
| Python | 17 | A tool for static analysis, dynamic analysis, and formal verification of RPM packages | Jun 19, 2022 |