In enterprise DLTs, smart contracts implement security critical and business critical logic. Therefore there is a clear need to have confidence that smart contracts adhere to the intended specificatio …