leonardoalt/ethereum_formal_verification_overview issues and pull requests

#20 - added evm-dafny

Pull Request - State: closed - Opened by jf-li00 11 months ago

#19 - Add entry in section EVM – EVM in Dafny and related items

Issue - State: closed - Opened by franck44 about 1 year ago - 2 comments

#18 - Add item in Yul section. Formal verification of Yul/EVM byte code with Dafny

Issue - State: open - Opened by franck44 about 1 year ago

#17 - Adding Solidifier paper

Pull Request - State: closed - Opened by pedrotbtl about 1 year ago

#16 - The slide's link of "Leo Alt : Fully Automated Formal Verification: How far can we go? (ETHcc)" is inaccessible

Issue - State: open - Opened by 62theories over 1 year ago - 1 comment

#15 - Add Clockwork Finance Framework

Pull Request - State: closed - Opened by webthethird about 2 years ago - 8 comments

#14 - Add Eth2.0 specs and formal verification of deposit smart contract in Dafny.

Pull Request - State: closed - Opened by franck44 almost 4 years ago - 1 comment

#13 - Add Scribble

Issue - State: closed - Opened by GNSPS almost 4 years ago - 3 comments

#12 - kevm paper, hevm entry

Pull Request - State: closed - Opened by MrChico about 4 years ago

#11 - Add some new resources on solc-verify

Pull Request - State: closed - Opened by hajduakos about 4 years ago

#10 - docs: update securify link

Pull Request - State: closed - Opened by PaulRBerg over 4 years ago

#9 - add more examples

Pull Request - State: closed - Opened by MrChico over 4 years ago

#8 - Adding VeriSol

Pull Request - State: closed - Opened by shuvendu-lahiri almost 5 years ago

#7 - Update SMTChecker

Pull Request - State: closed - Opened by leonardoalt about 5 years ago

#6 - Fix moving paper

Pull Request - State: closed - Opened by hajduakos about 5 years ago

#5 - Add VeriSol to Solidity formal verifiers

Issue - State: closed - Opened by shuvendu-lahiri about 5 years ago - 1 comment

#4 - Add solc-verify