[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Re: Graph algorithms

Hi.  A student, Qiang Zhang, and I have formalized Dijkstra's shortest path
algorithm in ACL2 and produced a mechanically checked proof that it is
correct, using ACL2.  It is not yet written up but we could send you the
script file if you wish.