Login / Signup
Model Checking EGF on Basic Parallel Processes.
Hongfei Fu
Published in:
ATVA (2011)
Keyphrases
</>
model checking
temporal logic
formal verification
temporal properties
formal specification
model checker
automated verification
partial order reduction
finite state
verification method
formal methods
finite state machines
reachability analysis
symbolic model checking
transition systems
bounded model checking
computation tree logic
process algebra
timed automata
asynchronous circuits
epistemic logic
knowledge base
concurrent systems
pspace complete
alternating time temporal logic
modal logic