/deontic-monitoring-solidity

Case study in monitoring a Solidity smart contract with a deontic logic specification language.

Watchers