Name: proof in vdm: case studies (en Inglés)
SKU: 25673808
Price: 95.47 USD
Availability: InStock
Author: Bicarregui, Juan C.

portada proof in vdm: case studies (en Inglés)

Formato

Libro Físico

Ilustrado por

Juan C. Bicarregui

Editorial

Springer

Autor

Bicarregui, Juan C.

Año

1998

Idioma

Inglés

N° páginas

226

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.3 cm

Peso

0.34 kg.

ISBN

3540761861

ISBN13

9783540761860

Categorías

Lógica matemática
Programación informática/desarrollo de software

proof in vdm: case studies (en Inglés)

Juan C. Bicarregui (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 190.95$ 95.47

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 95.47

Llega entre el 10 Sep y el 23 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "proof in vdm: case studies (en Inglés)"

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.