Temporal Logics in Computer Science. Finite-State Systems

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

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 Logic and State Systems

📁 Temporal Logic and State Systems

✍ Fred Kröger; Stephan Merz 📂 Library 📅 2008 🏛 Springer Science & Business Media 🌐 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 logic in information systems

📁 Temporal logic in information systems

✍ Chomicki J., Toman D. 📂 Library 📅 1997 🏛 BRICS 🌐 English

Logics in Computer Science: A Study on E

📁 Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

✍ Fabio Mogavero (auth.) 📂 Library 📅 2013 🏛 Atlantis Press 🌐 English

<p>In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part tw

Logics in Computer Science: A Study on E

📁 Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

✍ Fabio Mogavero 📂 Library 📅 2013 🏛 Atlantis Press 🌐 English

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two l