Smart Contracts and Opportunities for Formal Methods.

Andrew Miller Zhicheng Cai Somesh Jha

Published in: ISoLA (4) (2018)

Keyphrases

formal methods
knowledge based systems
model checking
provably correct
artificial intelligence

safety critical
model checker
formal analysis
formal specification
supply chain

software engineering
formal specification language
fine grained
security properties
process algebra

development lifecycle
databases
reactive systems
expert systems
moral hazard