Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study
The link address is: http://groups.csail.mit.edu/tds/papers/Umeno/UL_FM06.pdf
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case StudyThe link address is: http://groups.csail.mit.edu/tds/papers/Umeno/UL_FM06.pdf |