Branching time temporal logic

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 123-172
https://doi.org/10.1007/bfb0013022

Abstract

No abstract available

Keywords

MODAL AND TEMPORAL LOGIC: BRANCHING TIME TEMPORAL LOGIC, LINEAR TIME TEMPORAL LOGIC, DYNAMIC LOGICS, EXPRESSIVENESS, AXIOMATICS, DECIDABILITY, DECISION PROCEDURES, SATISFIABILITY, MODEL CHECKING
LOGICS OF PROGRAMS: REASONING ABOUT CONCURRENT PROGRAMS, PROGRAM SPECIFICATION, PROGRAM VERIFICATION, SPECIFICATION OF AND REASONING ABOUT FAIRNESS
SOFTWARE ENGINEERING: SPECIFICATION TECHNIQUES, MECHANICAL SYNTHESIS, AUTOMATED VERIFICATION TECHNIQUES
COMPUTATIONAL COMPLEXITY; AUTOMATA THEORY: FINITE-STATE AUTOMATA ON INFINITE OBJECTS, TREE AUTOMATA

This publication has 61 references indexed in Scilit:

The complexity of tree automata and logics of programs
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems, 1986
Reasoning about fair concurrent programs
Published by Association for Computing Machinery (ACM) ,1986
Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences, 1985
Automata, tableaux, and temporal logics
Published by Springer Nature ,1985
Now you may compose temporal logic specifications
Published by Association for Computing Machinery (ACM) ,1984
Alternative semantics for temporal logics
Theoretical Computer Science, 1983
The temporal logic of branching time
Acta Informatica, 1983
Using branching time temporal logic to synthesize synchronization skeletons
Science of Computer Programming, 1982
Characterizing correctness properties of parallel programs using fixpoints
Published by Springer Nature ,1980