Towards automated verification of Bitcoin-based decentralised applications.

Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti

Browse the full SAC paper archive.