6 Aug
2018
6 Aug
'18
10:30 p.m.
On Mo, 2018-08-06 at 08:52 -0700, Bakul Shah wrote:
What counts as a "formal spec"? Is it like Justice Potter Stewart's
"I know it when I see it" definition or something better?
For me, a "formal spec" should serve two goals:
1) You can reason about the thing that is specified.
2) The spec can be "executed" (i.e., there is an
interpreting mechanism, which lets the spec behave
like the real thing).
Hellwig