fmsurvey is survey of the industrial use of formal methods. We are particularly interested in projects that have been undertaken either wholly or partly by commercial organisations.
A review of the 62 responses collected so far can be found in this draft paper which is due for publication in ACM computing surveys:
If you wish your project to be included in future versions of this survey you can fill in the questionaire below and mail it to one of the authors below:
Thank you for your interest in fmsurvey.
Peter Gorm Larsen
John Fitzgerald
Juan Bicarregui
Jim Woodcock
Last updated 20 July 2009
Page maintained by Dr Juan Bicarregui