Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker.

Luigi Bellomarini, Marco Favorito, Giuseppe Galano

Browse the full PERCOM paper archive.