Formal methods in software engineering

Ye' old general discussion board. Basically, for everything that isn't covered elsewhere. Come here to shoot the breeze, shoot your mouth off, or whatever suits your fancy.
This forum is not for asking programming related questions.

Moderator: General Moderators

Post Reply
someone2088
Forum Commoner
Posts: 42
Joined: Thu Nov 17, 2011 1:09 pm

Formal methods in software engineering

Post 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.
User avatar
Christopher
Site Administrator
Posts: 13596
Joined: Wed Aug 25, 2004 7:54 pm
Location: New York, NY, US

Re: Formal methods in software engineering

Post 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.
(#10850)
User avatar
John Cartwright
Site Admin
Posts: 11470
Joined: Tue Dec 23, 2003 2:10 am
Location: Toronto
Contact:

Re: Formal methods in software engineering

Post 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. :)
Post Reply