Towards the formal verification of optical interconnects.

Sanaz Khan Afshar Osman Hasan Sofiène Tahar

Published in: NEWCAS (2014)

Keyphrases

formal verification
fiber optic
model checking
bounded model checking
model checker
automated verification
input output
lower cost
symbolic model checking
program slicing
power distribution
telecommunication networks
formal specification