Overview
- Provides a companion volume to Proof in VDM: A Practitioner's Guide which is already available in the FACIT series *
- The industrial application of formal methods is on the increase - particularly in the case of safety-critical systems
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(7 chapters)
About this book
Editors and Affiliations
-
Department of Computing, Imperial College of Science, Technology and Medicine, London, UK
J. C. Bicarregui
-
Computing and Information Systems Department, Rutherford Appleton Laboratory, Chilton, Didcot, Oxfordshire, UK
J. C. Bicarregui
Bibliographic Information
Book Title: Proof in VDM: Case Studies
Editors: J. C. Bicarregui
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-1532-8
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1998
Softcover ISBN: 978-3-540-76186-0Published: 02 March 1998
eBook ISBN: 978-1-4471-1532-8Published: 06 December 2012
Edition Number: 1
Number of Pages: XV, 226
Topics: Mathematical Logic and Formal Languages, Software Engineering, Programming Languages, Compilers, Interpreters