NobleBlocks
    A formal verification approach for composite smart contracts security using FSM | NobleBlocks