Formal methods in software engineering
Posted: Mon Mar 05, 2012 10:06 am
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.
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.