Security company ChainSecurity launches first full-featured verification system for ETH smart contracts

According to the official Medium news of ChainSecurity, recently, smart contract audit company ChainSecurity announced the launch of the first automatic verifier VerX for Ethereum smart contracts to monitor security vulnerabilities and verify the custom function requirements of Ethereum smart contracts.