[SystemSafety] Bursting the formal methods bubble
jean-louis Boulanger
jean.louis.boulanger at gmail.com
Wed Oct 25 15:24:29 CEST 2017
2017-10-25 15:15 GMT+02:00 Derek M Jones <derek at knosof.co.uk>:
> 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/
I thinks that we have more example of mistake in classical development that
in formal development
yes all method are applied by human and error appear but with formal
methods you have a tool to detect it.
many examples (SACEM, line 14, ...) demonstrated that it work and its
possible to develop a software with a low level of bug ... yes we can do it
with ADA, C .... C++ or JAVA and C# its more difficult to develop a
software with a very low level of bug ...
>
>
> --
> Derek M. Jones Software analysis
> tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
--
Mr Jean-louis Boulanger
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/2d2129a3/attachment.html>
More information about the systemsafety
mailing list