An Improved Distance Heuristic Function for Directed Software Model Checking.
Neha RungtaEric G. MercerPublished in: FMCAD (2006)
Keyphrases
- model checking
- heuristic function
- temporal logic
- formal methods
- formal verification
- state space
- formal specification
- evaluation function
- heuristic search
- model checker
- reactive systems
- finite state
- search algorithm
- software architecture
- symbolic model checking
- verification method
- initial state
- search methods
- search space
- hill climbing
- classical planning
- graph partitioning
- search strategy