Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
Smart contracts enable the creation of decentralized applications which often handle assets of large value. These decentralized applications are frequently built on multiple …