Temporal Logic and State Systems
Publication year: 2008
ISBN: 978-3-540-68635-4
Internet Resource: Please Login to download book
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.
Subject: Computer Science / Programming Languages, Compilers, Interpreters / Mathematical Logic and Formal Languages / Software Engineering / Logics and Meanings of Programs / Branching-time temporal logic, CTL, CTL* / Concurr / Concurrent programming / Correct software development / Formal methods of system development / Linear-time temporal logic, LTL and its variants / Refinement, composition, and hiding / Specification, correctness properties / Temporal Logic of Actions, TLA / Temporal logic / Verification, proof rules / automata / logic / model checking
