The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.

Thomas Eiter Georg Gottlob Thomas Schwentick

Published in: Fields of Logic and Computation (2010)

Keyphrases

model checking
model checker
epistemic logic
bounded model checking
temporal logic
verification method
alternating time temporal logic
linear temporal logic
transition systems

asynchronous circuits
formal verification
formal specification
finite state
modal logic
linear time temporal logic
temporal properties
coalition logic
automated verification

pspace complete
symbolic model checking
process algebra
formal methods
cl pc
computation tree logic
timed automata
ctl model update
finite state machines

description language
logic programming
reactive systems
reachability analysis
modal operators
data structure
concurrent systems
web services
imperfect information