Temporal Logic and State Systems
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26634 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-26634 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-266342020-06-15T07:42:39Z Temporal Logic and State Systems Kröger, Fred Merz,Stephan Computer Science Software Engineering ; Logic, Symbolic and mathematical. 160 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. 2017-04-12T03:12:44Z 2017-04-12T03:12:44Z 2008 Book 978-3-540-67401-6 http://repository.vnu.edu.vn/handle/VNU_123/26634 en 440 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science Software Engineering ; Logic, Symbolic and mathematical. 160 |
| spellingShingle |
Computer Science Software Engineering ; Logic, Symbolic and mathematical. 160 Kröger, Fred Temporal Logic and State Systems |
| description |
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. |
| author2 |
Merz,Stephan |
| author_facet |
Merz,Stephan Kröger, Fred |
| format |
Book |
| author |
Kröger, Fred |
| author_sort |
Kröger, Fred |
| title |
Temporal Logic and State Systems |
| title_short |
Temporal Logic and State Systems |
| title_full |
Temporal Logic and State Systems |
| title_fullStr |
Temporal Logic and State Systems |
| title_full_unstemmed |
Temporal Logic and State Systems |
| title_sort |
temporal logic and state systems |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/26634 |
| _version_ |
1680967826079219712 |