Together with Jim Woodcock, John Fitzgerald and Juan Bicarregui we are conduction about industrial use of formal methods we need to deliver a reviewable version of our paper to ACM Computing Survey by the end of the month. At the moment we only have one contribution using Alloy and that is from NOKIA. I know that any of you in the Alloy community have been applying Alloy in industry could supply us with these for the survey soon. In case you wish to assist with this pease send me an email so I can send you a form to fill in. Thanks in advance for your support on this effort.

Best wishes,
Peter

Peter Gorm Larsen
Professor, PhD (ingeniørdocent)

Direct  +45 87 30 24 10
Mobile +45 20 70 26 33
Mail: pgl@iha.dk

Engineering College of Aarhus | Dalgas Avenue 2 | DK-8000 Aarhus C | Phone +45 8730 2200