Accessibility Tools
Skip to Content
Accessibility
Text Size:
N/A
Breadcrumb
Concordia Home
Hardware Verification Group Home
Main Menu
Research
Publications
People
Alumni
Laboratories
Partners
Events
Honours
Research
Frameworks
Applications
Related Links
Hardware Verification Group Home
>
Research
>
Frameworks
Current Projects
Approximate Computing
Analog and Mixed Signal Designs Verification
Formal Verification of Optical Systems
Probabilistic Analysis in the HOL Theorem Prover
Formal Verification of Cloud Systems
Past Projects
Verification of Group key management protocols
IP watermarking Security Techniques
Verification of DSP Desgins in HOL
SystemC Verification
Concordia University