verx.ch - VerX: Full Functional Verification for Ethereum Smart Contracts

home > domains > verx.ch

Example domain paragraphs

Full Functional Verification for Ethereum Smart Contracts

2019.07.09

Created by ChainSecurity AG , an ETH Zurich spin-off.