Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA.

Sachoun Park Gihwon Kwon

Published in: FCC (2014)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
communication networks
clustering algorithm
temporal logic
information sharing
decision support
functional verification