BitML: A Calculus for Bitcoin Smart Contracts
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts