Topics tagged formal-verification

Topic	Replies	Views	Activity
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Tooling and Languages summary , network-security , formal-verification , interview	4	1234	March 26, 2021
Research Summary: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants Auditing and Security testing , summary , formal-verification	0	670	February 17, 2021
Scribble: an inline verification language for Solidity Tooling and Languages discussion , formal-verification , ethereum	3	833	January 8, 2021