你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada proof in vdm: case studies
Type
Physical Book
Illustrated by
Publisher
Author
Year
1998
Language
English
Pages
226
Format
Paperback
Dimensions
23.4x15.6x1.3 cm
Weight
0.34 kg.
ISBN
3540761861
ISBN13
9783540761860
Categories

proof in vdm: case studies

Juan C. Bicarregui (Illustrated by) · Springer · Paperback

proof in vdm: case studies - Bicarregui, Juan C.

Cheaper New Book Imported to Taiwan
Delivery: 29 Oct - 11 Nov Shipping: 14 to 18 business days.
NT$ 3,368
Faster New Book Imported to Taiwan
Delivery: 16 Oct - 26 Oct Shipping: 5 to 6 business days.
NT$ 4,557
NT$ 3,368

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "proof in vdm: case studies"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews