Oof… this was heavy. I got lost somewhere around the point where he introduces the decision table. :(
On a side note, decision tables were what John Nagle recommended for smart contracts. Easy for lay people to understand and for computers to analyze.
Have you got a link to that anywhere, sounds interesting and my search engine Fu is failing me.
I did some digging and this appears to be the comment in question
Actually, he appears to have brought it up a lot:
Good find, I could only find other posts from @nickpsecurity repeating his statement :) Thanks!
I dont have one to his comments but here’s Decision Tables:
Also, Googling model-checking decision tables will give you at least one paper on using automated solvers with them.