Formal verification of redundant media extension of Ethernet PowerLink.

Steve Limal Stéphane Potier Bruno Denis Jean-Jacques Lesage

Published in: ETFA (2007)

Keyphrases

formal verification
model checking
model checker
bounded model checking
multimedia
temporal logic
symbolic model checking
automated verification
program slicing
digital media
highly redundant
functional verification
web services
reinforcement learning
high speed
multimedia content