US Patent 11587189 Formal verification of smart contracts

Embodiments relate to a system, program product, and method for smart contract implementation and management. A request for resources is modeled and a reservation of resources is captured in a first computation model interface. A provision of services is modeled as a second computation model interface. Compatibility of the first and second computation model interfaces is verified. Input and output actions are synchronized between the first and second computation model interfaces responsive to the compatibility verification. A smart contract is composed as a third computation model interface to model negotiation of contractual terms, including the captured resources with the provision of services. The composed smart contract is recorded in an operatively coupled immutable venue.