Fred Kröger

Temporal Logic of Programs

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Monographs in Theoretical Computer Science. An EATCS Series .8
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-642-71551-8
• Softcover reprint of the original 1st ed. 1987
• Seitenzahl: 160
• Erscheinungstermin: 17. November 2011
• Englisch
• Abmessung: 244mm x 170mm x 9mm
• Gewicht: 288g
• ISBN-13: 9783642715518
• ISBN-10: 3642715516
• Artikelnr.: 36116494

Autorenporträt

Fred Kröger: Since 1971 working in Computer Science. 1980-1986 Professor for Computer Science at Technical University of Munich. Since 1986 Professor for Computer Science at University of Munich

Inhaltsangabe

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.