Formal verification of AUTOSAR FlexRay state manager.

Ghada Moussa Bahig Amr El-Kadi Ashraf Salem

Published in: IDT (2014)

Keyphrases

formal verification
model checking
communication protocol
symbolic model checking
bounded model checking
artificial intelligence
model checker
real time
cooperative
multi agent systems
management system
object oriented
program slicing