Proof in VDM : Case Studies

By: Juan C. Bicarregui (Editor)

Write A Review

Paperback

At a Glance

Paperback
244 Pages

Dimensions(cm)
24.13 x 16.51 x 1.91

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Programming & Scripting Languages Compilers & Interpreters

Contributors
A Tracking System	p. 1
The Ammunition Control System	p. 31
Specification and Validation of a Network Security Policy Model	p. 65
The Specification and Proof of an EXPRESS to SQL "Compiler"	p. 95
Shared Memory Synchronization	p. 123
On the Verification of VDM Specification and Refinement with PVS	p. 157
Supporting Proof in VDM-SL using Isabelle	p. 191
Index	p. 225
Table of Contents provided by Blackwell. All Rights Reserved.

Proof in VDM : Case Studies

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Tech Coup

How to Save Democracy from Silicon Valley

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

AI for Business

A Guide to AI Adoption

New Beginnings

why change is so difficult and how to achieve it

The Shortest History of AI

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence

A Modern Approach, 4th Global Edition

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Building Microservices

Designing Fine-Grained Systems 2nd Edition

MRI in Practice

5th Edition

Python Workout, Second Edition

200 ten-minute exercises

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

This product is categorised by