Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
Hardware Verification Group Home
Search
HVG
All of Concordia
Staff & Faculty Directory
Search Query
Main Menu
Research
Descriptions
Sub-projects
People
Contact us
Hardware Verification Group Home
>
Research
>
Methodologies and Frameworks
>
Formal Verification of Optical Systems
Current Projects
Formalization of Ray Optics
Formalization of Electromagnetic Optics
Formalization of Quantum Optics
Bridge between Computer Algebra and Theorem Prover
Concordia University
