Formal Verification of Prim's Algorithm in SPARK.
Brian WheelhouseKenneth M. HopkinsonLaura HumphreyPublished in: HICSS (2023)
Keyphrases
- optimal solution
- k means
- formal verification
- preprocessing
- search space
- recognition algorithm
- np hard
- learning algorithm
- optimization algorithm
- computational cost
- minimum spanning tree
- matching algorithm
- detection algorithm
- high accuracy
- experimental evaluation
- dynamic programming
- significant improvement
- objective function
- similarity measure
- simulated annealing
- particle swarm optimization
- segmentation algorithm
- convergence rate