𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Temporal Logic and State Systems

✍ Scribed by Fred Krâger; Stephan Merz

Publisher
Springer Science & Business Media
Year
2008
Tongue
English
Leaves
440
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

πŸ“œ SIMILAR VOLUMES

Temporal Logic and State Systems
πŸ“ Temporal Logic and State Systems
✍ Fred Kroger, Stephan Merz πŸ“‚ Library πŸ“… 2008 πŸ› Springer 🌐 English

Temporal logic has developed over the lastΒ 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications

Temporal Logics in Computer Science: Fin
πŸ“ Temporal Logics in Computer Science: Finite-State Systems
✍ StΓ©phane Demri, Valentin Goranko, Martin Lange πŸ“‚ Library πŸ“… 2016 πŸ› Cambridge University Press 🌐 English

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most i

The Temporal Logic of Reactive and Concu
πŸ“ The Temporal Logic of Reactive and Concurrent Systems: Specification
✍ Zohar Manna, Amir Pnueli πŸ“‚ Library πŸ“… 1991 πŸ› Springer 🌐 English

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying

The Temporal Logic of Reactive and Concu
πŸ“ The Temporal Logic of Reactive and Concurrent Systems: Specification
✍ Zohar Manna, Amir Pnueli (auth.) πŸ“‚ Library πŸ“… 1992 πŸ› Springer-Verlag New York 🌐 English

<p>Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifyi