Formal verification clearly demands metarational competence in deciding e.g. which properties are most important to prove, which logic is appropriate, whether a finite model checking is enough, whether available SMT solvers are likely to choke on a given problem, etc
-
-
-
And experienced experts have a great deal of clearly metarational intuition about these things which is hard to acquire and very valuable!
End of conversation
New conversation -
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.