industrial applications

I am compiling a collection of case studies of applications of formal methods 
to real-life problems, for possible publication by a leading publisher.

I would be very grateful for any pointers to interesting applications of
Larch (whether successful or not) currently under-way or recently
completed.  Ideally these should have been undertaken in industry or 
with at least some input by an industrial partner.

Please reply directly by e-mail and I will gladly post a summary.

Thanks in advance!!

-- Mike.

Michael G. Hinchey

University of Cambridge
Computer Laboratory
New Museums Site
Pembroke Street

tel: +44-223-334419
fax: +44-223-334678
e-mail: mgh@cl.cam.ac.uk