Take the 2-minute tour ×
Project Management Stack Exchange is a question and answer site for project managers. It's 100% free, no registration required.

At university, when studying computer science, I visited lectures about formal methods, for example Z notation.

It has been impossible for me to find or stumble upon information about any real world application of formal methods.

What are projects that have applied formal methods? Was this application successful? Have there been applications outside the field of "high-risk system" (for instance, anything besides aviatian software and radioactivity-related software)?

share|improve this question

closed as not constructive by jmort253 Feb 6 '13 at 5:24

As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references, or expertise, but this question will likely solicit debate, arguments, polling, or extended discussion. If you feel that this question can be improved and possibly reopened, visit the help center for guidance.If this question can be reworded to fit the rules in the help center, please edit the question.

Hi Abdull, welcome to PMSE! Your question as it stands isn't a good fit for our Q&A model, since every single answer listing a company would be 100% correct. However, I suspect there's a deeper problem you're trying to solve by knowing this information. Instead of a list question, I'm closing this for you for now to give you time to make edits to this post and dig deeper into the real heart of your question. Tell us what problem you're trying to solve, and we'd be happy to help. When done with edits, please [flag] for moderator attention and we'll take a look at reopening. Good luck! :) –  jmort253 Feb 6 '13 at 5:24
Additionally, I'm not 100% sure formal methods would be on topic here. I'd suggest dropping in on the Programmers SE Chat Room to see if that is on topic there. –  jmort253 Feb 6 '13 at 5:27
Security: Stack Exchange is another candidate; I suspect that they'll tell you the answer is the null set. –  Mark C. Wallace Feb 6 '13 at 9:55
add comment

Browse other questions tagged or ask your own question.