BitML: A Calculus for Bitcoin Smart Contracts
Findel: Secure Derivative Contracts for Ethereum