Tell me more ×
Project Management Stack Exchange is a question and answer site for project managers. It's 100% free, no registration required.
up vote 2 down vote favorite
1

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
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 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 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 at 9:55

closed as not constructive by jmort253♦ Feb 6 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 specific 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, see the FAQ for guidance.

Browse other questions tagged or ask your own question.