Using heuristic search for finding deadlocks in concurrent systems.
Sara GradaraAntonella SantoneMaria Luisa VillaniPublished in: Inf. Comput. (2005)
Keyphrases
- heuristic search
- concurrent systems
- state space
- search space
- search algorithm
- transition systems
- distributed systems
- constraint satisfaction
- temporal logic
- planning problems
- search problems
- heuristic search algorithms
- petri net
- state space search
- bidirectional search
- forward search
- beam search
- automated planning
- pattern databases
- formal specification
- search strategies
- optimal planning
- orders of magnitude
- path finding
- probabilistic planning