Industrial Use of Formal Methods Formal Verification ed. J-L Boulanger
includes a chapter on Escher Verification Studio
(ISBN 13: 9781848213630 ISBN 10: 1848213638; hardback) Published in July 2012 by ISTE Ltd and John Wiley & Sons Inc
One possible UK source of supply (as of August 2012) is the
Book Depository
Verification of C Programs Using Automated Reasoning (PDF, 141K)
A paper presented at SEFM 2007 (5th IEEE International Conference
on Software Engineering and Formal Methods. London, UK. September 10-14, 2007)
Verifying Compilers for Financial Applications (PPT, 2900K) An informal talk about verification of investment
banking applications,
presented at the Grand Challenge 6 workshop of Formal Methods 2005.