Proof Pearl: Dijkstra's Shortest Path Algorithm Verified with ACL2.

J Strother Moore Qiang Zhang

Published in: TPHOLs (2005)

Keyphrases

shortest path algorithm
shortest path
minimum cost flow
optimal solution
natural language learning
artificial neural networks
belief change
databases
genetic algorithm
theorem prover
linear logic
database
information retrieval
logic programming
automated theorem proving
complete axiomatization