Smart Contract Modeling Tool (SCMTool) This repository contains examples of use cases implemented in the SCM Tool for Blockchain Colloquium 2023