Homepage
Open in app
Sign in
Get started
EDUCATION
SECURITY AUDITS
SECURITY ANALYSIS
NEWS
ChainSecurity
Tagged in
Formal Verification
ChainSecurity
From the world of secure smart contracts
More information
Followers
521
Elsewhere
More, on Medium
Formal Verification
Petar Tsankov
in
ChainSecurity
Apr 24, 2019
VerX: Full functional verification for Ethereum contracts, now at your fingertips
Read more…
218
3 responses
