Formal Specification and Model Checking of A* Algorithm.

Kazuhiro Ogata

Browse the full SEKE paper archive.