Login / Signup
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems.
Steen Vester
Published in:
ATVA (2015)
Keyphrases
</>
linear time temporal logic
model checking
temporal logic
automated verification
pspace complete
reactive systems
formal methods
finite state machines
finite state
artifact centric
formal verification
temporal properties
model checker
formal specification
modal logic
verification method
epistemic logic
asynchronous circuits
computation tree logic
transition systems
linear temporal logic
concurrent systems
bounded model checking
expert systems
symbolic model checking
mazurkiewicz traces
distributed systems
temporal epistemic
multi agent systems
timed automata
decision problems
computational complexity