Bounded Exhaustive Search of Alloy Specification Repairs.
Simón Gutiérrez BridaGermán RegisGuolong ZhengHamid BagheriThanhVu NguyenNazareno AguirreMarcelo F. FriasPublished in: CoRR (2021)
Keyphrases
- exhaustive search
- search methods
- dynamic programming
- computational complexity
- computationally feasible
- search space
- nearest neighbor search
- brute force
- solution space
- high level
- simulated annealing
- mechanical properties
- integrity constraints
- search algorithm
- consistent query answering
- lower bound
- formal specification
- optimal solution
- learning algorithm
- neural network
- reactive systems
- database