Formal Analysis of Optical Waveguides in HOL

DOI10.1007/978-3-642-03359-9_17MaRDI QIDQ3183532zbMATH OpenOpenAlexFDO

Authors Osman Hasan, Sanaz Khan-Afshar, Sofiène Tahar

Publication date 20 October 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03359-9_17

Mathematics Subject Classification ID

Recommendations

• Formal analysis of optical systems
• On the Formal Analysis of Geometrical Optics in HOL
• On the formal analysis of Gaussian optical systems in HOL
• Formal verification of stability and chaos in periodic optical systems
• A Framework for Formal Reasoning about Geometrical Optics

Cites work

• scientific article; zbMATH DE number 5839262 (Why is no real title available?)
• scientific article; zbMATH DE number 3863589 (Why is no real title available?)
• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 3186688 (Why is no real title available?)
• Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media

Cited in

(6)

• Formal verification of stability and chaos in periodic optical systems
• On the Formal Analysis of Geometrical Optics in HOL
• On the formal analysis of Gaussian optical systems in HOL
• Formal analysis of optical systems
• On the formalization of cardinal points of optical systems
• Formalization of complex vectors in higher-order logic

Describes a project that uses

Uses Software

• ML
• HOL

This page was built for publication: Formal Analysis of Optical Waveguides in HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3183532)