You might also use “push button formal methods” or “automated reasoning”.
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.
-
-
-
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?"
- Show replies
New conversation -
-
-
Throw formal methods at; obliterate with formal methods; employ formal methods with extreme prejudice; subject to formal methods; formally methodize (as in: We formally methodized the hell out of the problem); smite thee with my formal hammer.
-
I think I've actually used "subject to formal methods" before. Also "expose to formal methods".
End of conversation
New conversation -
-
-
Gives +10 durability to all affected equipment?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
employ precise ways!
-
but eschew obfuscation
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.