Page 1 of 1

Formal methods in software engineering

Posted: Mon Mar 05, 2012 10:06 am
by someone2088
Hi,

I'm trying to find some recent (since 2002) examples of where a formal method (e.g. VDM, Z, etc) has been used in a project that was deemed to be a success.

I've had a quick Google about it, but most of what I've found so far has been talking more about the formal methods themselves, rather than actual examples of the formal methods being used in a project, and how/ whether they were deemed to be a success in terms of using the formal method to develop the software.

Just wondering if anyone who is more 'in the know' than I am knows of any projects where a formal method was used, and the outcome of the project has been a success? If you could point me in the right direction, I would be very grateful.

Thanks in advance.

Re: Formal methods in software engineering

Posted: Mon Mar 05, 2012 1:19 pm
by Christopher
I can't imagine that you will find many projects using formal methods because it is so rigorous and expensive. Maybe some big government/military projects where the results must be proven to have no faults like nuclear or air traffic control.

Re: Formal methods in software engineering

Posted: Mon Mar 05, 2012 8:16 pm
by John Cartwright
Christopher wrote:I can't imagine that you will find many projects using formal methods because it is so rigorous and expensive. Maybe some big government/military projects where the results must be proven to have no faults like nuclear or air traffic control.
.. and it's not often (if ever) you will be government agencies using opensource software. :)