Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)
  • Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)
zoom

Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) (Paperback)

(editor)
£96.50
Paperback 226 Pages / Published: 02/03/1998
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540761860
Number of pages: 226
Weight: 380 g
Dimensions: 235 x 155 x 13 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Coaching Agile Teams
Added to basket
Design Patterns
Added to basket
£44.49
Hardback
The Agile Samurai
Added to basket
Implementing Domain-Driven Design
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
The Algorithm Design Manual
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
The Art of Unit Testing
Added to basket
Peopleware
Added to basket
£33.49
Paperback
The Agile Culture
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Logic Programming with Prolog
Added to basket
The Mythical Man-Month
Added to basket
User Story Mapping
Added to basket
£31.99
Paperback
Lessons Learned in Software Testing
Added to basket

Please sign in to write a review

Your review has been submitted successfully.