Temporal Logic of Programs

Häftad, Engelska, 2011

Del 8 i serien Monographs in Theoretical Computer Science. An EATCS Series

561 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

Produktinformation

Utgivningsdatum:2011-11-17
Mått:170 x 244 x 9 mm
Vikt:289 g
Format:Häftad
Språk:Engelska
Serie:Monographs in Theoretical Computer Science. An EATCS Series
Antal sidor:148
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642715518

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operators.- II. Axiomatization of Propositional Temporal Logic.- 5. The Formal System ?TA.- 6. Completeness of ?TA.- 7. Induction Principles.- III. First-Order Temporal Logic.- 8. First-Order Temporal Languages and Their Semantics.- 9. The Formal System ?TP.- 10. The Principle of Well-Founded Orderings.- 11. Additional Propositional Variables.- IV. Temporal Semantics of Programs.- 12. Programs.- 13. Execution Sequences of Programs.- 14. Program Axioms.- 15. Description of Program Properties.- V. Invariance and Precedence Properties of Programs.- 16. The Basic Invariant Method.- 17. Examples of Applications.- 18. Invariant Methods for Precedence Properties.- 19. Examples of Applications.- VI. Eventuality Properties of Programs.- 20. Fair Execution Sequences.- 21. The Finite Chain Reasoning Method.- 22. The Method of Well-Founded Orderings.- 23. Examples of Applications.- VII. Special Methods for Sequential Programs.- 24. Hoare’s Calculus.- 25. The Intermittent Assertion Method.- 26. Examples of Applications.- Bibliographical Remarks.- Appendix: Table of Laws and Rules.- References.