Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer, Berlin
SKU: 3211795
Price: 128.39 EUR
Availability: InStock
ISBN: 3540415238

Model-Checking Techniques and Tools (Sprache: Englisch)

Autoren: B. Berard , M. Bidoit , A. Finkel , mehr...

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Systems and Software Verification".

Kommentar verfassen

Merken

Mehr zum Inhalt Video Inhaltsverzeichnis

lieferbar

versandkostenfrei

Bestellnummer: 3211795

Buch 128.39 €

In den Warenkorb

Kauf auf Rechnung
Kostenlose Rücksendung
Ratenzahlung möglich

lieferbar

versandkostenfrei

Bestellnummer: 3211795

Buch 128.39 €

In den Warenkorb

Mehr zum Inhalt Video Inhaltsverzeichnis

Andere Kunden interessierten sich auch für

-2%

Systems and Software Verification

M. Bidoit, B. Berard, a. petit, A. Finkel, L. Petrucci, P. Schnoebelen, F. Laroussinie

0 Sterne

eBook

Statt 128.39 € 19

125.97 €

Erschienen am 17.04.2013

Leider schon ausverkauft

Software Engineering Research and Applications

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 10.02.2006

lieferbar

Data Management in Grid and Peer-to-Peer Systems

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 19.08.2011

lieferbar

Model and Data Engineering

0 Sterne

Buch

49.22 €

In den Warenkorb

lieferbar

Algorithms and Architectures for Parallel Processing, Part I

0 Sterne

Buch

85.59 €

In den Warenkorb

Erschienen am 07.10.2011

lieferbar

Algorithms and Architectures for Parallel Processing, Part II

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 07.10.2011

lieferbar

Advances in Computing and Communications, Part III

0 Sterne

Buch

139.09 €

In den Warenkorb

Erschienen am 08.07.2011

lieferbar

Advanced Computing Strategies for Engineering

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 19.05.2018

lieferbar

Advances in Computing and Communications, Part IV

0 Sterne

Buch

123.04 €

In den Warenkorb

Erschienen am 06.07.2011

lieferbar

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX

0 Sterne

Buch

84.99 €

In den Warenkorb

Erschienen am 14.04.2015

lieferbar

Transactions on Large-Scale Data- and Knowledge-Centered Systems XX

0 Sterne

Buch

57.78 €

In den Warenkorb

Erschienen am 31.03.2015

lieferbar

Algorithmic Aspects in Information and Management

0 Sterne

Buch

80.24 €

In den Warenkorb

Erschienen am 05.07.2010

lieferbar

Agent-Based Service-Oriented Computing

Kuo-Ming Chao, Fang Dong, Dieter Fensel, Nathan Griffiths, Birgit Hofreiter, Christian Huemer

0 Sterne

Buch

152.46 €

In den Warenkorb

lieferbar

Unconventional Computation and Natural Computation

0 Sterne

Buch

58.84 €

In den Warenkorb

Erschienen am 28.04.2017

lieferbar

Technological Innovation for Sustainability

0 Sterne

Buch

143.38 €

In den Warenkorb

Erschienen am 04.02.2011

lieferbar

Technological Innovation for Value Creation

0 Sterne

Buch

139.99 €

In den Warenkorb

Erschienen am 03.02.2012

lieferbar

Towards a Service-Based Internet. ServiceWave 2010 Workshops

0 Sterne

Buch

53.49 €

In den Warenkorb

lieferbar

On the Move to Meaningful Internet Systems: OTM 2011

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 09.11.2011

lieferbar

On the Move to Meaningful Internet Systems: OTM 2011

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 09.11.2011

lieferbar

Mehr Bücher des Autors

Lachsalven.de... das Buch

a. petit

0 Sterne

Buch

11.95 €

Vorbestellen

Erschienen am 21.04.2008

Voraussichtlich lieferbar in 3 Tag(en)

War in NewYork

a. petit

0 Sterne

Buch

8.95 €

Vorbestellen

Erschienen am 18.04.2008

Voraussichtlich lieferbar in 3 Tag(en)

Notfall Atlantis

a. petit

0 Sterne

Buch

18.95 €

Vorbestellen

Erschienen am 22.05.2007

Voraussichtlich lieferbar in 3 Tag(en)

Emergency Atlantis

a. petit

0 Sterne

Buch

18.95 €

Vorbestellen

Erschienen am 27.07.2007

Voraussichtlich lieferbar in 3 Tag(en)

CASL User Manual

M. Bidoit, P. D. Mosses

0 Sterne

Buch

74.85 €

Vorbestellen

Erschienen am 29.01.2004

Voraussichtlich lieferbar in 3 Tag(en)

Produktdetails

Produktbeschreibung
Inhaltsverzeichnis
Video
Biblio. Angaben / Produktdetails

Produktinformationen zu „Systems and Software Verification “

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Klappentext zu „Systems and Software Verification “

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of themajor model checkers available.

Inhaltsverzeichnis zu „Systems and Software Verification “

Part I: Principles and Techniques: Introduction

1. Automata

2. Temporal Logic

3. Model Checking

4. Symbolic Model Checking

5. Timed Automata

- Conclusion

Part II: Specifying with Temporal Logic: Introduction

6. Reachability Properties

7. Safety Properties

8. Liveness Properties

9. Deadlock-freeness

10. Fairness Properties

11. Abstraction Methods

- Conclusion

Part III: Some Tools: Introduction

12. SMV - Symbolic Model Checking

13. Spin - Communication Automata

14. Design/CPN - Coloured Petri Nets

15. Uppaal - Timed Systems

16. Kronos - Model Checking of Real-time Systems

17. HyTech - Linear Hybrid Systems

- Main Bibliography

- Index

Bibliographische Angaben

Autoren: B. Berard , M. Bidoit , A. Finkel , F. Laroussinie , a. petit
2001, XII, 196 Seiten, 67 Abbildungen, Maße: 16,3 x 24,4 cm, Gebunden, Englisch
Übersetzer: P. McKenzie
Verlag: Springer, Berlin
ISBN-10: 3540415238
ISBN-13: 9783540415237
Erscheinungsdatum: 20.06.2001

Sprache:

Englisch

Kommentar zu "Systems and Software Verification"

Keine Kommentare vorhanden

Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Systems and Software Verification".

Kommentar verfassen

Andere Kunden kauften auch

Software Engineering Research and Applications

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 10.02.2006

lieferbar

Data Management in Grid and Peer-to-Peer Systems

0 Sterne

Buch

53.49 €

In den Warenkorb

Erschienen am 19.08.2011

lieferbar

Model and Data Engineering

0 Sterne

Buch

49.22 €

In den Warenkorb

lieferbar

Algorithms and Architectures for Parallel Processing, Part I

0 Sterne

Buch

85.59 €

In den Warenkorb

Erschienen am 07.10.2011

lieferbar

Algorithms and Architectures for Parallel Processing, Part II

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 07.10.2011

lieferbar

Advances in Computing and Communications, Part III

0 Sterne

Buch

139.09 €

In den Warenkorb

Erschienen am 08.07.2011

lieferbar

Advanced Computing Strategies for Engineering

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 19.05.2018

lieferbar

Advances in Computing and Communications, Part IV

0 Sterne

Buch

123.04 €

In den Warenkorb

Erschienen am 06.07.2011

lieferbar

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX

0 Sterne

Buch

84.99 €

In den Warenkorb

Erschienen am 14.04.2015

lieferbar

Transactions on Large-Scale Data- and Knowledge-Centered Systems XX

0 Sterne

Buch

57.78 €

In den Warenkorb

Erschienen am 31.03.2015

lieferbar

Algorithmic Aspects in Information and Management

0 Sterne

Buch

80.24 €

In den Warenkorb

Erschienen am 05.07.2010

lieferbar

Agent-Based Service-Oriented Computing

Kuo-Ming Chao, Fang Dong, Dieter Fensel, Nathan Griffiths, Birgit Hofreiter, Christian Huemer

0 Sterne

Buch

152.46 €

In den Warenkorb

lieferbar

Unconventional Computation and Natural Computation

0 Sterne

Buch

58.84 €

In den Warenkorb

Erschienen am 28.04.2017

lieferbar

Technological Innovation for Sustainability

0 Sterne

Buch

143.38 €

In den Warenkorb

Erschienen am 04.02.2011

lieferbar

Technological Innovation for Value Creation

0 Sterne

Buch

139.99 €

In den Warenkorb

Erschienen am 03.02.2012

lieferbar

Towards a Service-Based Internet. ServiceWave 2010 Workshops

0 Sterne

Buch

53.49 €

In den Warenkorb

lieferbar

On the Move to Meaningful Internet Systems: OTM 2011

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 09.11.2011

lieferbar

On the Move to Meaningful Internet Systems: OTM 2011

0 Sterne

Buch

74.89 €

In den Warenkorb

Erschienen am 09.11.2011

lieferbar

Weitere Empfehlungen zu „Systems and Software Verification “