Articles liés à Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety - Couverture rigide

 
9780387944593: Temporal Verification of Reactive Systems: Safety

Synopsis

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS).

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer-Verlag New York Inc.
  • Date d'édition1995
  • ISBN 10 0387944591
  • ISBN 13 9780387944593
  • ReliureRelié
  • Langueanglais
  • Nombre de pages512
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 532...
Afficher cet article
EUR 10,19

Autre devise

EUR 9,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 92,27

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

Résultats de recherche pour Temporal Verification of Reactive Systems: Safety

Image d'archives

Amir Pnueli, Zohar Manna
Edité par Springer New York, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 29/202

Contacter le vendeur

Acheter D'occasion

EUR 10,19
Autre devise
Frais de port : EUR 9,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Manna, Zohar, Pnueli, Amir
Edité par Springer New York, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : Better World Books: West, Reno, NV, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 16226199-6

Contacter le vendeur

Acheter D'occasion

EUR 21,50
Autre devise
Frais de port : EUR 13,57
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Zohar Manna|Amir Pnueli
Edité par Springer New York, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes . N° de réf. du vendeur 5912033

Contacter le vendeur

Acheter neuf

EUR 92,27
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Manna, Zohar,Pnueli, Amir
Edité par Springer, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : HPB-Red, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_410949666

Contacter le vendeur

Acheter D'occasion

EUR 16,17
Autre devise
Frais de port : EUR 91,81
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Amir Pnueli Zohar Manna
Edité par Springer, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Used. pp. 536. N° de réf. du vendeur 26316144

Contacter le vendeur

Acheter D'occasion

EUR 109,84
Autre devise
Frais de port : EUR 7,87
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Amir Pnueli
Edité par Springer New York Aug 1995, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS). 532 pp. Englisch. N° de réf. du vendeur 9780387944593

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Pnueli Amir Manna Zohar
Edité par Springer, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Used. pp. 536 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7564591

Contacter le vendeur

Acheter D'occasion

EUR 109,42
Autre devise
Frais de port : EUR 10,45
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Zohar Manna
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Neuf Couverture rigide

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch. N° de réf. du vendeur 9780387944593

Contacter le vendeur

Acheter neuf

EUR 106,99
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Manna, Zohar; Pnueli, Amir
Edité par Springer, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780387944593_new

Contacter le vendeur

Acheter neuf

EUR 118,75
Autre devise
Frais de port : EUR 4,71
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Pnueli Amir Manna Zohar
Edité par Springer, 1995
ISBN 10 : 0387944591 ISBN 13 : 9780387944593
Ancien ou d'occasion Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Used. pp. 536. N° de réf. du vendeur 18316154

Contacter le vendeur

Acheter D'occasion

EUR 115,60
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre