Formal verification


Mercati

PwC Svizzera incorpora il team ChainSecurity per espandere gli strumenti di audit blockchain

Ufficialmente, non si tratta di un'acquisizione. Ma sette ingegneri tecnici si stanno unendo allo studio di contabilità per rafforzare le sue capacità di auditing degli smart contract.

PwC image via Shutterstock

Pageof 1
Formal verification | CoinDesk