Formal verification of stability and chaos in periodic optical systems

DOI10.1016/j.jcss.2017.05.004zbMath1371.68181MaRDI QIDQ2361358

Sofiène Tahar, Umair Siddique

Publication date: 30 June 2017

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2017.05.004

zbMATH Keywords

formal verification; higher-order logic; optical systems; resonator stability

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

78A48: Composite media; random media in optics and electromagnetic theory

Uses Software

• HOL Light