Formal verification is a very powerful tool. But you need to consider if you are proving the right things. Ask the right questions.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
People also seem to forget that in mathematical logic, one never even has "P is proved", only "P is proved wrt theory T under assumptions G"
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.