A Comparison of AFDX and 1553B Protocols Using Formal Verification.

Ranjani Krishnan V. R. Lalithambika

Published in: ICACCI (2018)

Keyphrases

formal verification
model checking
model checker
bounded model checking
cryptographic protocols
automated verification
temporal logic
symbolic model checking
formal specification
program slicing
orders of magnitude