Formal verification

PwC Switzerland Incorporates ChainSecurity Team to Expand Blockchain Audit Tools

Officially, it’s not an acquisition. But seven technical engineers are joining the accounting firm to bolster its smart contract auditing abilities.

News  ·  10 January 2020