Distributing State Space for Parallel Computation of CTL Model Checking.
Mustapha BourahlaMohamed BenmohamedPublished in: Informatica (Slovenia) (2004)
Keyphrases
- parallel computation
- model checking
- state space
- temporal logic
- reachability analysis
- computation tree logic
- parallel algorithm
- parallel implementation
- parallel processing
- formal verification
- model checker
- temporal properties
- heuristic search
- reinforcement learning
- formal specification
- automated verification
- parallel computing
- markov decision processes
- linear temporal logic
- finite state
- formal methods
- bounded model checking
- symbolic model checking
- dynamic programming
- transition systems
- alternating time temporal logic
- dynamical systems
- verification method
- timed automata
- shared memory
- planning problems
- epistemic logic
- optimal policy
- concurrent systems
- search space
- graphics processing units
- reactive systems
- massively parallel
- satisfiability problem
- domain independent
- graphical models