[SystemSafety] Bursting the formal methods bubble
Derek M Jones
derek at knosof.co.uk
Wed Oct 25 15:15:28 CEST 2017
All,
Formal methods is founded on the idea that mathematical
work is always, magically, correct.
The mathematics we all learn in school/university has been around
long enough to be throughly checked, which gives people a skewed
view of mathematics.
Mathematical work contains mistakes, just like everything else:
http://scienceblogs.com/evolutionblog/2008/07/21/is-modern-mathematics-reliable/
--
Derek M. Jones Software analysis
tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com
More information about the systemsafety
mailing list