Vor Ort
Merkzettel Warenkorb
Produktbild: An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

178,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.06.2011

Verlag

John Wiley & Sons Inc

Seitenzahl

368

Maße (L/B/H)

25,1/17,7/2,9 cm

Gewicht

781 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-470-02788-2

Beschreibung

Rezension

"The strength of the book is the nice mixture of a pleasant to read and gentle presentation of the underlying concepts together with detailed tool descriptions (focused on a user s point of view). This book is perfectly suited for a course at senior undergraduate or beginning graduate level." (Zentralblatt MATH, 1 December 2012) "I highly recommend this book, both for formal methods in general and for temporal logic in particular. It will remain within my easy reach for a long time." (Computing Reviews, 1 December 2011)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.06.2011

Verlag

John Wiley & Sons Inc

Seitenzahl

368

Maße (L/B/H)

25,1/17,7/2,9 cm

Gewicht

781 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-470-02788-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: An Introduction to Practical Formal Methods Using Temporal Logic
  • Preface.
     
    1 Introduction.
     
    1.1 Aims of the book.
     
    1.2 Why temporal logic?
     
    1.3 What is temporal logic?
     
    1.4 Structure of the book.
     
    2 Temporal logic.
     
    2.1 Intuition.
     
    2.2 Syntactic aspects.
     
    2.3 Semantics.
     
    2.4 Reactive system properties.
     
    2.5 What is temporal logic?
     
    2.6 Normal form.
     
    2.7 Büchi automata and temporal logic.
     
    2.8 Advanced topics.
     
    2.9 Final exercises.
     
    3 Specification.
     
    3.1 Describing simple behaviours.
     
    3.2 A semantics of imperative programs.
     
    3.3 Linking specifications.
     
    3.4 Advanced topics.
     
    3.5 Final exercises.
     
    3.6 Where to next?
     
    4 Deduction.
     
    4.1 Temporal proof.
     
    4.2 Clausal temporal resolution.
     
    4.3 The TSPASS system.
     
    4.4 Advanced topics.
     
    4.5 Final exercises.
     
    5 Model checking.
     
    5.1 Algorithmic verification.
     
    5.2 Automata-theoretic model checking.
     
    5.3 The Spin system.
     
    5.4 Advanced topics.
     
    5.5 Final exercises.
     
    6 Execution.
     
    6.1 From specifications to programs.
     
    6.2 MetateM: executing temporal formulae.
     
    6.3 The Concurrent MetateM system.
     
    6.4 Advanced topics.
     
    7 Selected applications.
     
    7.1 Model checking programs.
     
    7.2 Security protocol analysis.
     
    7.3 Recognizing temporal patterns.
     
    7.4 Parameterized systems.
     
    7.5 Reasoning with intervals.
     
    7.6 Planning.
     
    8 Summary.
     
    A Review of classical logic.
     
    A.1 Introduction.
     
    A.2 Propositional logic.
     
    A.3 Normal forms.
     
    A.4 Propositional resolution.
     
    A.5 Horn clauses.
     
    A.6 First-order logic.
     
    B Solutions to exercises.
     
    References.
     
    Index.