FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq.
Zheng YangHang LeiPublished in: CoRR (2018)
Keyphrases
- data model
- theorem prover
- question answering
- formal methods
- supply chain
- object oriented
- production system
- application specific
- programming language
- smart grid
- smart environments
- revenue sharing
- database
- meeting room
- principal agent
- control program
- markup language
- general purpose
- query language
- case study
- website
- decision making