Verifying liquidity of recursive Bitcoin contracts.

Massimo Bartoletti Stefano Lande Maurizio Murgia Roberto Zunino

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

supply chain
credit card
data sets
artificial intelligence
datalog programs
knowledge base
database systems
privacy preserving
model checking
recursive functions