https://github.com/shaunazzopardi/deontic-monitoring-solidity

Case study in monitoring a Solidity smart contract with a deontic logic specification language.
https://github.com/shaunazzopardi/deontic-monitoring-solidity

deontic deontic-logic monitoring runtime-verification solidity solidity-contracts

Last synced: 7 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/shaunazzopardi/deontic-monitoring-solidity
• Owner: shaunazzopardi
• Created: 2018-09-16T18:01:13.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2018-10-26T13:56:28.000Z (about 6 years ago)
• Last Synced: 2023-03-10T09:42:29.418Z (over 1 year ago)
• Topics: deontic, deontic-logic, monitoring, runtime-verification, solidity, solidity-contracts
• Size: 20.5 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project