Temporal logic and state systems

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