uppaal-btc

Uppaal code for the paper: M. Andrychowicz, S. Dziembowski, D. Malinowski, L. Mazurek, "Modeling Bitcoin Contracts by Timed Automata"

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
BTC-commit.q		BTC-commit.q
BTC-commit.xml		BTC-commit.xml
BTC-sim_com.q		BTC-sim_com.q
BTC-sim_com.xml		BTC-sim_com.xml
README.md		README.md

Provide feedback