Accessibility Tools

Breadcrumb

 
 

Research

Hardware Verification Group Home > Research > Methodologies and Frameworks >

Contact List

 
We have formalized some fundamentals of quantum optics and also applied our work to formally verify that beam splitters preserve energy.

 
 

Concordia University