3 ms·
The event calculus could be used to specify the behavior of the agents instantiated by ethereum smart contracts. This formalized description of the smart contra
by jmcmichael 11y ago
The event calculus could be used to specify the behavior of the agents instantiated by ethereum smart contracts. This formalized description of the smart contract (e.g. a legal system) could then be used to verify its actual behavior in the wild.