Ah, you might have been thinking of techniques basic on SAT and ATPG solving. What makes software different is this: https://en.wikipedia.org/wiki/Curry-Howar

Ah, you might have been thinking of techniques basic on SAT and ATPG solving. What makes software different is this: https://en.wikipedia.org/wiki/Curry-Howard_Correspondence https://en.wikipedia.org/wiki/Curry-Howard_Correspondence Basically, checking a proof of correctness for software is equivalent to type checking (for a very fancy type system).