Open main menu
about
Company
Mission and Vision
News
Team
Careers
Publications
Presentations
Videos
FAQ
services
Dev Ops
Smart Contract Auditing
Smart Contract Auditing Methodology
Protocol Verification
Formal Design and Modeling
Partnerships
Partnerships
Algorand
Urbit
products
Embedded Systems
ERCx
Firefly
K
KaaS
Kasmer
Kontrol
Simbolik
research
events
Arepas, Cumbia and Security
Formal Verification in the Ethereum Ecosystem
RV/ILDS Blockchain Workshop - Bucharest Mach 2023
Working Workshops - Bucharest October 2023
contact
Contact Us
Media Kit
blog
All
Categories
Audits
K
ERCx
News
Smart Contracts
Software Development
Verification
RV-Match
RV-Monitor
RV-Predict
Partners
Algorand
Cosmos
MultiversX
Ethereum
IOHK
PlatON
Tezos
Author: Brian Marick
Formal Verification of ERC20 Contracts
by
Brian Marick
August 15th, 2018
Read More
Symbolic execution and smart contracts
by
Brian Marick
August 7th, 2018
Read More
How Formal Verification of Smart Contracts Works
by
Brian Marick
July 20th, 2018
Read More
