1. 15

  2. 4

    Oof… this was heavy. I got lost somewhere around the point where he introduces the decision table. :(

    1. 3

      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.

      1. 1

        Have you got a link to that anywhere, sounds interesting and my search engine Fu is failing me.

        1. 2

          I did some digging and this appears to be the comment in question

            1. 2

              Good find, I could only find other posts from @nickpsecurity repeating his statement :) Thanks!

            2. 1

              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.