Modeling Bitcoin Contracts by Timed Automata.

Marcin Andrychowicz Stefan Dziembowski Daniel Malinowski Lukasz Mazurek

Published in: FORMATS (2014)

Keyphrases

timed automata
model checking
reachability analysis
real time
neural network
genetic algorithm
artificial intelligence
state space
electronic commerce
third party
theorem prover
theorem proving