FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq.

Zheng Yang Hang Lei

Published in: IEEE Access (2019)

Keyphrases

theorem prover
programming language
production system
markup language
question answering
data model
data types
object oriented
supply chain
data sets
scheduling problem
neural network
databases
application specific
relational databases
website
data mining
database
error handling