|
OCaml |
32 |
Imandra Contracts - Formal verification of smart contracts |
Apr 26, 2023 |
|
Haskell |
45 |
Horus, a formal verification tool for StarkNet smart contracts. |
Apr 06, 2023 |
|
None |
2 |
The following repo contains Formal Verification tools and resources for smart contracts for smart contract … |
Jul 10, 2023 |
|
Python |
410 |
Symbolic bounded model checker for Ethereum smart contracts |
Apr 23, 2023 |
|
Scala |
112 |
UCLID5: formal modeling, verification, and synthesis of computational systems |
Apr 29, 2023 |
|
None |
2 |
Formal Methods for Blockchain & Smart Contracts |
Nov 29, 2023 |
|
HTML |
32 |
Verification and Generation of Smart Contracts using Stainless and Scala |
Jan 16, 2023 |
|
Solidity |
4 |
Fairness Verification of Smart Contracts |
Nov 15, 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 |
|
TypeScript |
5 |
e-Prescription model using smart-contracts |
Sep 17, 2023 |
|
Java |
11 |
GUI for running the SPIN model checker |
Apr 13, 2023 |
|
C# |
205 |
A formal verifier and analysis tool for Solidity Smart Contracts |
Jul 27, 2022 |
|
Rust |
2 |
A smart contract platform with on-chain formal verification |
May 12, 2021 |
|
Java |
2 |
A unified formal Bot Modeling Language (BML) |
Jan 09, 2023 |
|
Dafny |
2 |
some formal verification exercises using dafny. |
Jan 16, 2023 |
|
JavaScript |
39 |
Alastria Identity Model and Smart Contracts |
Apr 04, 2023 |
|
None |
2 |
Formal logic and software verification using interactive theorem provers |
Jun 23, 2018 |
|
Go |
20 |
Formal verification of Elastic-Agent and more using BDD |
Aug 27, 2022 |
|
JavaScript |
5 |
Smart contracts implementing selling of bug verification oracles |
Nov 15, 2021 |
|
None |
3 |
Formal Verification of the Disco protocol using Tamarin |
Jun 23, 2022 |
|
Scala |
3 |
Formal verification on NutShell using riscv-spec-core |
Nov 11, 2023 |
|
Dafny |
3 |
Verification of Smart Contracts with Dafny – FMICS paper examples |
Mar 23, 2023 |
|
Shell |
2 |
Container image for Ink! smart contracts source code verification |
May 05, 2023 |
|
Coq |
151 |
Programming Language for Smart Legal Contracts |
Mar 31, 2023 |
|
Python |
18 |
Link Modeling Language (LinkML) model |
Mar 31, 2023 |
|
Rust |
49 |
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for … |
Oct 04, 2022 |
|
Rust |
9 |
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for … |
May 03, 2023 |
|
C# |
12 |
FORMULA 2.0: Formal Specifications for Verification and Synthesis |
Jan 31, 2022 |
|
Solidity |
5 |
Formal verification and fuzzing of Nova with DappTools. |
Sep 26, 2021 |
|
C++ |
65 |
A Modeling and Verification Platform for SoCs using ILAs |
Apr 17, 2023 |
|
Common Lisp |
2 |
Language for the formal verification of Arduino code. The compiler generates executable Arduino code, as … |
Feb 22, 2019 |
|
TypeScript |
3 |
Smart contracts and test using Blockstack clarity |
Oct 25, 2022 |
|
None |
5 |
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 … |
Jun 13, 2022 |
|
Solidity |
32 |
Smart contracts for zero-knowledge proofs verification on-chain with PolygonID |
Apr 20, 2023 |
|
JavaScript |
2 |
Truco game using smart contracts |
Mar 25, 2021 |
|
Haskell |
167 |
Embedded specification language & model checker in Haskell |
Jul 01, 2022 |
|
Python |
4 |
Spell Checker based on Ngrams Language Model |
May 16, 2020 |
|
C |
510 |
ABC: System for Sequential Logic Synthesis and Formal Verification |
Aug 16, 2022 |
|
C |
16 |
ABC: System for Sequential Logic Synthesis and Formal Verification |
Aug 11, 2022 |
|
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 |
|
None |
7 |
Clarity Bitcoin library for cross-chain transaction verification and more for Stacks smart contracts. |
Jan 26, 2022 |
|
Java |
6 |
MontiArc is a formal component and connector architecture description language for modeling software-intensive systems. |
May 12, 2022 |
|
None |
2 |
Overview of the Clarity language for smart contracts |
Dec 11, 2021 |
|
None |
160 |
Overview of the Clarity language for smart contracts |
Mar 29, 2023 |