3 ms·
> why the author is so suspicious of > formal methods I studied Z-Notation and CSP at what is perhaps the home of formal methods (cs.ox.ac.uk), and I've ye
by peteretep 9y ago
> why the author is so suspicious of
> formal methods
I studied Z-Notation and CSP at what is perhaps the home of formal methods (cs.ox.ac.uk), and I've yet to come across a real-world situation where I've found either in the least bit useful.