Modeling Bitcoin Contracts by Timed Automata.

Marcin Andrychowicz Stefan Dziembowski Daniel Malinowski Lukasz Mazurek

Published in: CoRR (2014)

Keyphrases

timed automata
model checking
database
neural network
theorem prover
modeling language
credit card
reachability analysis