Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.
Husain AljazzarStefan LeuePublished in: IEEE Trans. Software Eng. (2010)
Keyphrases
- computation tree logic
- model checking
- state space search
- temporal logic
- heuristic search
- bounded model checking
- domain independent
- search problems
- formal verification
- model checker
- search algorithm
- symbolic model checking
- formal specification
- iterative deepening
- epistemic logic
- finite state
- ai planning
- verification method
- planning problems
- formal methods
- general purpose
- state space
- orders of magnitude
- beam search
- search tree