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.
Formal methods in software engineering
Moderator: General Moderators
-
someone2088
- Forum Commoner
- Posts: 42
- Joined: Thu Nov 17, 2011 1:09 pm
- Christopher
- Site Administrator
- Posts: 13596
- Joined: Wed Aug 25, 2004 7:54 pm
- Location: New York, NY, US
Re: Formal methods in software engineering
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)
- John Cartwright
- Site Admin
- Posts: 11470
- Joined: Tue Dec 23, 2003 2:10 am
- Location: Toronto
- Contact:
Re: Formal methods in software engineering
.. and it's not often (if ever) you will be government agencies using opensource software.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.