Modeling Bitcoin Contracts by Timed Automata

DOI10.1007/978-3-319-10512-3_2zbMath1448.91328arXiv1405.1861WikidataQ111687910 ScholiaQ111687910MaRDI QIDQ5500550

Stefan Dziembowski, Daniel Malinowski, Łukasz Mazurek, Marcin Andrychowicz

Publication date: 6 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.1861

Mathematics Subject Classification ID

68Q45: Formal languages and automata

94A60: Cryptography

68Q60: Specification and verification (program logics, model checking, etc.)

91G99: Actuarial science and mathematical finance

Uses Software

• Kronos
• TIMES
• Uppaal