Heuristic-Guided Abstraction Refinement for Concurrent Systems.
Nils TimmHeike WehrheimMike CzechPublished in: ICFEM (2012)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- search algorithm
- model checking
- formal specification
- petri net
- high level
- transition systems
- data abstraction
- dynamic programming
- optimal solution
- tabu search
- search strategies
- solution quality
- exact algorithms
- constraint satisfaction
- simulated annealing
- evolutionary algorithm
- feasible solution
- refinement process