Is a
Patent attributes
Patent Jurisdiction
Patent Number
Date of Patent
January 26, 2021
Patent Application Number
16048317
Date Filed
July 29, 2018
Patent Citations Received
Patent Primary Examiner
Patent abstract
An example operation may include one or more of defining inputs, converting the inputs into an intermediate representation in Linear Dynamic Logic, and translating the intermediate representation into an executable form of the blockchain smart contract. The inputs include a regular event pattern, a temporal constraint a blockchain smart contract must satisfy, and a list of entries, each entry including an event, a condition, and a sequence of one or more actions.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
