Formal Approaches to Computing and Information Technology (FACIT)

Proof in VDM: Case Studies

Editors: Bicarregui, Juan C. (Ed.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-1-4471-1532-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-76186-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip­ ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi­ cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviours of the system. Verification of the cor­ rectness of successive designs can be achieved by proof of a prescribed set of proof obligations generated from the specifications.

Table of contents (7 chapters)

Table of contents (7 chapters)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-1-4471-1532-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-540-76186-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proof in VDM: Case Studies
Editors
  • Juan C. Bicarregui
Series Title
Formal Approaches to Computing and Information Technology (FACIT)
Copyright
1998
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-1532-8
DOI
10.1007/978-1-4471-1532-8
Softcover ISBN
978-3-540-76186-0
Edition Number
1
Number of Pages
XV, 226
Topics