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."
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Formal Approaches to Computing and Information Technology (FACIT) |
Release date: |
2001 |
First published: |
March 1998 |
Editors: |
Juan C. Bicarregui
|
Dimensions: |
235 x 155 x 13mm (L x W x T) |
Format: |
Paperback
|
Pages: |
226 |
Edition: |
Softcover reprint of the original 1st ed. 1998 |
ISBN-13: |
978-3-540-76186-0 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-540-76186-1 |
Barcode: |
9783540761860 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!