Guided Model Checking with a Bayesian Meta-heuristic.
Kevin D. SeppiMichael D. JonesPeter LambornPublished in: ACSD (2004)
Keyphrases
- model checking
- metaheuristic
- temporal logic
- optimization problems
- simulated annealing
- tabu search
- formal verification
- search space
- model checker
- optimal solution
- temporal properties
- combinatorial optimization
- symbolic model checking
- formal specification
- genetic algorithm
- verification method
- automated verification
- bayesian networks
- concurrent systems
- formal methods
- timed automata
- finite state
- particle swarm optimization
- epistemic logic
- bounded model checking
- computation tree logic
- transition systems
- search procedures
- search algorithm
- reactive systems
- np complete
- reinforcement learning