Posts by Brian Marick
Formal Verification of ERC20 Contracts
By Brian MarickAugust 15th, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Symbolic execution and smart contracts
By Brian MarickAugust 7th, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
How Formal Verification of Smart Contracts Works
By Brian MarickJuly 20th, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
