Stars
2
Forks
9
Language
HTML
Last Updated
Jan 17, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Nix | 2 | Formal Verification of MkrAuthority contract | May 07, 2021 | |
| 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 | |
| OCaml | 172 | Formal verification of OCaml programs | Jun 23, 2022 | |
| Verilog | 4 | RISC-V Formal Verification Framework | Mar 26, 2022 | |
| None | 2 | RISC-V Formal Verification Framework | Jan 29, 2022 | |
| Python | 5 | Formal Verification for Plasma-mvp | Apr 18, 2020 | |
| Verilog | 6 | materials for Formal Verification introduction course | Mar 17, 2022 | |
| Lean | 11 | A formal verification of Con(NF) | Aug 16, 2022 | |
| Scala | 4 | Experimental (formal) verification library for Chisel. | Jan 28, 2023 | |
| JavaScript | 2 | 🌍 🐓 Formal verification for JavaScript | Jan 31, 2023 | |
| Dafny | 2 | some formal verification exercises using dafny. | Jan 16, 2023 | |
| Python | 2 | Concept of Python-based Formal Verification Framework | Mar 13, 2022 | |
| Coq | 25 | Formal verification of the Algorand consensus protocol | Jun 12, 2022 | |
| Common Lisp | 12 | Formal verification of SecVisor, a secure hypervisor | Feb 17, 2022 | |
| SMT | 3 | Formal verification of the popular BokkyPooBah's DateTimeLibrary | Mar 20, 2023 | |
| Python | 47 | Formal verification of WETH9.sol with Z3 | Apr 19, 2023 | |
| OCaml | 32 | Imandra Contracts - Formal verification of smart contracts | Apr 26, 2023 | |
| None | 5 | RISC-V formal verification on Chisel design | Sep 29, 2022 | |
| Python | 61 | Formal Verification of Neural Feedback Loops (NFLs) | May 17, 2023 | |
| SystemVerilog | 3 | Formal Verification of RISC V IM Processor | Feb 14, 2023 | |
| C# | 12 | FORMULA 2.0: Formal Specifications for Verification and Synthesis | Jan 31, 2022 | |
| Java | 13 | PLEXIL5 is a Formal Verification Environment for PLEXIL | Aug 06, 2022 | |
| Coq | 81 | A quantum circuit language and formal verification tool | Mar 27, 2023 | |
| Python | 2 | Formal verification for smart infrastructure (buildings, cities, etc.) | May 31, 2022 | |
| None | 3 | Formal Verification of the Disco protocol using Tamarin | Jun 23, 2022 | |
| Julia | 5 | Formal Verification of Deep Neural Networks in Julia | May 13, 2023 | |
| Solidity | 5 | Formal verification and fuzzing of Nova with DappTools. | Sep 26, 2021 | |
| Scala | 3 | Formal verification on NutShell using riscv-spec-core | Nov 11, 2023 | |
| GCC Machine Description | 7 | formal verification of multicollateral dai in the K framework | Feb 23, 2022 | |
| C++ | 12 | An LLVM-based formal verification frontend for C programs. | Aug 10, 2022 | |
| C | 510 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 16, 2022 | |
| VHDL | 5 | Formal verification (experiments) targeting the NEORV32 RISC-V processor. | Feb 01, 2023 | |
| Haskell | 45 | Horus, a formal verification tool for StarkNet smart contracts. | Apr 06, 2023 | |
| 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 | |
| Rust | 2 | A smart contract platform with on-chain formal verification | May 12, 2021 | |
| GCC Machine Description | 43 | formal verification of multicollateral dai in the K framework | Mar 02, 2023 | |
| 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 | |
| JavaScript | 6 | Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker | Oct 01, 2022 | |
| Verilog | 7 | resources for the Introduction to Formal Verification series of videos | Jun 07, 2022 |