Login / Signup
Off-chain Execution and Verification of Computationally Intensive Smart Contracts.
Emrah Sariboz
Kartick Kolachala
Gaurav Panwar
Roopa Vishwanathan
Satyajayant Misra
Published in:
IEEE ICBC (2021)
Keyphrases
</>
computationally intensive
symbolic execution
model checking
asynchronous circuits
database
supply chain
temporal logic
smart spaces
verification method
databases
neural network
data flow
formal analysis
plan execution
plan generation
program execution