Concurrently, novel approaches to verifying function block diagrams have emerged, harnessing higher-order logic theorem proving and co-induction methods to establish design equivalence under ...