TLDR: you use formal verification methods to find obvious bugs in the sourcecode of blockchain contracts, taking advantage of the blockchain natural properties

TLDR: you use formal verification methods to find obvious bugs in the sourcecode of blockchain contracts, taking advantage of the blockchain natural properties to limit the search space You have a great idea there. Run with it!