Model Checking the FlexRay Physical Layer Protocol.

Michael Gerke Rüdiger Ehlers Bernd Finkbeiner Hans-Jörg Peter

Published in: FMICS (2010)

Keyphrases

model checking
communication protocol
physical layer
temporal logic
model checker
formal verification
formal specification
formal methods
wifi
verification method
knowledge base
distributed systems