Paper for IEEE COMPSAC'97 conference

The Use of Industrial-Strength Formal Methods

Jonathan Bowen (The University of Reading, UK)
and
Mike Hinchey (New Jersey Institute of Technology, USA & University of Limerick, Ireland).

Reference

(New) The Use of Industrial-Strength Formal Methods, Jonathan P. Bowen and Michael G. Hinchey. IEEE COMPSAC'97, 21st International Computer Software & Application Conference, Washington D.C., USA, 13-15 August 1997. IEEE Computer Society Press.

Copyright notice

Copyright © 1997 IEEE. Published in the Proceedings of COMPSAC'97, August 11-15, 1997 in Washington, DC, USA. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 908-562-3966.

Acknowledgements

Funding to attend the conference and present this paper was provided by:
  1. ESPRIT/NSF (New) ProCoS-US (EC-US027) travel funding
  2. NATO CARE4HW travel funding (c/o Peter Breuer)

Their support is gratefully appreciated. The funding also enabled specific liaison with:

Further information

For information on an associated book to be published in 1999, see under:

(New) http://vl.fmnet.info/isfm/

See also slides for the presentation based on the first chapter of this book:

It's Greek to Me: Method in the Madness?

Copyright © 1997 IEEE

Information installed by Jonathan Bowen, Department of Computer Science, The University of Reading.