Model Checking Driven Heuristic Search for Correct Programs.
Gal KatzDoron A. PeledPublished in: MoChArt (2008)
Keyphrases
- heuristic search
- model checking
- temporal logic
- state space
- search algorithm
- temporal properties
- search space
- formal verification
- model checker
- formal specification
- automated verification
- finite state
- symbolic model checking
- constraint satisfaction
- temporally extended goals
- verification method
- search problems
- planning problems
- computation tree logic
- transition systems
- formal methods
- bounded model checking
- path finding
- bidirectional search
- beam search
- epistemic logic
- ai planning
- search strategies
- heuristic function
- control flow
- alternating time temporal logic