Login / Signup
The power of first-order quantification over states in branching and linear time temporal logics.
Krishnendu Chatterjee
Pallab Dasgupta
P. P. Chakrabarti
Published in:
Inf. Process. Lett. (2004)
Keyphrases
</>
temporal logic
mazurkiewicz traces
linear temporal logic
model checking
satisfiability problem
modal logic
power consumption
temporal epistemic
first order logic
initial state
concurrent systems
transition systems
bounded model checking
computational complexity
formal verification
temporal resolution