Formal modeling and verification of integrated photonic systems | IEEE Conference Publication | IEEE Xplore