What counts as a formal method?
Derek-Jones opened this issue · 1 comments
Derek-Jones commented
Which techniques count as using formal methods?
If I build a compiler using a yacc grammar, is that a formal method?
How much mathematics has to be involved in the creation of something for it to be regarded as a formal method?
ligurio commented
Good question :) It is not specified explicitly but this list about using formal verification methods.