Researchers and practitioners in the area of formal methods are welcome to post relevant information relating to formal methods on this wiki. Other spam material is not welcome and will be deleted.
-- Jonathan BowenRead more >
Any contributions relating to formal methods are welcome on the Formal Methods Wiki. Don't worry too much about correct formatting, etc. Another editor is likely to improve your article once it has been created. So please add an article on your favorite formal methods topic today! --Jonathan Bowen 00:38, December 7, 2009 (UTC)
Read more >