Isabelle/Solidity A framework for the verification of Solidity smart contracts in Isabelle FACTum A framework for the verification of component-based systems