[SystemSafety] Bursting the formal methods bubble

[jean-louis Boulanger]

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>