This is written on the first page of this thread."Finatch, in cooperation with its academic partners, develops tools and methods to standardize the workflow for business smart contract development. This includes the formally verifiable translation of human-readable agreements to machine smart contracts, and the error-resilient specification of their elements, terms and conditions."