Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols.

Published in: CSF (2017)

Keyphrases

cryptographic protocols
computational power
symbolic representation
real time
real world
data mining
information retrieval
social networks
high level
model checking
computational models
mathematical programming
face verification
connectionist learning