Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.

Shinya Umeno, Nancy A. Lynch

Browse the full FM paper archive.