The Informal Blog - Model-Based Testing and Formal Verification Tools for Blockchain Protocols