Formal verification of stability and chaos in periodic optical systems

作者：

Highlights：

• Formal methods based framework for modeling and analysis of periodic optical systems.

• Models are developed in higher-order logic ensuring accuracy and soundness.

• Effectiveness is demonstrated by the formal analysis of practical optical systems.

摘要

•Formal methods based framework for modeling and analysis of periodic optical systems.•Models are developed in higher-order logic ensuring accuracy and soundness.•Effectiveness is demonstrated by the formal analysis of practical optical systems.

论文关键词：Formal verification,Higher-order logic,Optical systems,Resonator stability

论文评审过程：Received 6 February 2016, Revised 2 May 2017, Accepted 4 May 2017, Available online 18 May 2017, Version of Record 11 June 2017.

论文官网地址：https://doi.org/10.1016/j.jcss.2017.05.004