Model Checking Stochastic Branching Processes.

Taolue Chen Klaus Dräger Stefan Kiefer

Published in: MFCS (2012)

Keyphrases

model checking
temporal logic
finite state
formal verification
temporal properties
model checker
automated verification
symbolic model checking

partial order reduction
computation tree logic
bounded model checking
formal specification
finite state machines
formal methods
pspace complete

epistemic logic
process algebra
verification method
process model
timed automata
transition systems
linear temporal logic

reachability analysis
branch and bound
asynchronous circuits
knowledge based systems
concurrent systems
satisfiability problem
monte carlo