/uppaal-btc

Uppaal code for the paper "Modeling Bitcoin Contracts by Timed Automata"

Primary Languageq

Watchers