The TTEthernet synchronisation protocols and their formal verification.

Wilfried Steiner Bruno Dutertre

Published in: Int. J. Crit. Comput. Based Syst. (2013)

Keyphrases

formal verification
model checking
cryptographic protocols
bounded model checking
model checker
automated verification
symbolic model checking
communication protocols
temporal logic
program slicing
web services
reinforcement learning
rough sets
multi party