Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.

Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara

Browse the full SEKE paper archive.