Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification.
Vineesh V. S.Binod KumarRushikesh ShindeAkshay JaiswalHarsh BhargavaVirendra SinghPublished in: ATS (2019)
Keyphrases
- formal verification
- state space search
- model checking
- heuristic search
- search space
- search problems
- domain independent
- search algorithm
- bounded model checking
- iterative deepening
- model checker
- automated verification
- ai planning
- symbolic model checking
- beam search
- optimal planning
- admissible heuristics
- temporal logic
- memory efficient
- integer programming
- evaluation function
- search strategy
- constraint satisfaction
- optimal solution