rygorous, 1 month ago @aeva @danluu Here's a workable (albeit tongue-in-cheek) definition in plain English: If you can have a discussion about whether something is a bug or working as specified, it's not a formal method. :) With formal methods, you can still have bad specs, but the expectation is that the specification is complete and unambiguous.
@aeva @danluu Here's a workable (albeit tongue-in-cheek) definition in plain English:
If you can have a discussion about whether something is a bug or working as specified, it's not a formal method. :)
With formal methods, you can still have bad specs, but the expectation is that the specification is complete and unambiguous.