Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols

Blanchet, Bruno

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}
}