I just noticed that I write the phrase "use formal methods" a lot, sometimes many times in the same paragraph. Just googled synonyms for "use". I think I'll write "wield formal methods" from now on.
-
You might also use “push button formal methods” or “automated reasoning”.
That is what I'm thinking of when I hear "push button formal methods". https://www.youtube.com/watch?v=kuqANKDAqxA … "Did you mean to do that?" 
-
-
"lock and load!"
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.