SPESC: A Specification Language for Smart Contracts.

Xiao He Bohan Qin Yan Zhu Xing Chen Yi Liu

Published in: COMPSAC (1) (2018)

Keyphrases

specification language
formal specification
description language
programming language
requirements specification
supply chain
symbolic execution
software environment
case study
databases
information retrieval systems
model checking