On Symbolic Verification of Bitcoin's script Language.

Rick Klomp Andrea Bracciali

Published in: DPM/CBT@ESORICS (2018)

Keyphrases

script language
software platform
model checking
high level
machine learning
credit card
topic maps
symbolic representation
relational databases
context aware