Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG.

Duong Dinh Tran, Kazuhiro Ogata

Browse the full SEKE paper archive.