by Bruno Blanchet
Reference:
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols (Bruno Blanchet), In 30th IEEE Computer Security Foundations Symposium (CSF'17), 2017.
Bibtex Entry:
@InProceedings{BlanchetCSF17,
author = {Bruno Blanchet},
title = {Symbolic and Computational Mechanized Verification of the {ARINC823} Avionic Protocols},
booktitle = {30th IEEE Computer Security Foundations Symposium (CSF'17)},
pages = {68--82},
year = {2017},
url = {http://prosecco.inria.fr/personal/bblanche/publications/BlanchetCSF17.html}
}