Branching-Time Temporal Logic and Tree Automata

• 1 February 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 125  (1) , 62-69
• https://doi.org/10.1006/inco.1996.0021

Abstract

Keywords

• TREE AUTOMATON
• BRANCHING-TIME TEMPORAL LOGIC
• MODEL CHECKING
• TEMPORAL LOGIC
• SATISFIABILITY
• LINEAR TIME