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	1519	March 26, 2021
Research Summary: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants Auditing and Security summary , formal-verification , testing	0	923	February 17, 2021
Scribble: an inline verification language for Solidity Tooling and Languages discussion , formal-verification , ethereum	3	1083	January 8, 2021