[wqs24] Quantum Program Analysis: Verification And Testing
Synopsis
Quantum program analysis: Verification and Testing (Video, WQS 2024) Nengkun Yu (Stony Brook University, USA) Abstract: ...
You Might Also Like
![[CPP'26] Specification, Semantics, and Verification of Quantum Programs](https://i.ytimg.com/vi/BeDG46EAgjE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCSKMJf2rDp1eV1bCTcz0Guc9H0ow)
![[WQS24] A Static Analysis for High-Level Quantum Programming Languages](https://i.ytimg.com/vi/og-IOQeiqh0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAaKKklZ5WWfQQj0-i_Rf2y14AQ4w)
![[PLanQC'26] Democratizing quantum formal verification: the path-sum way](https://i.ytimg.com/vi/EUfmXQKUEUg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDqo5n7o-LIpxymlVKdPz7E0QKBjg)
![[SAS24] Static Analysis of Quantum Programs](https://i.ytimg.com/vi/DLNz1PM-qYU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYDIX3fV9Q_V4k4NRz9UcEb2XloA)
![[PLanQC'22] Analyzing quantum programs using the power of interaction](https://i.ytimg.com/vi/YtH3ATelctA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAq-pWv8naKsfEMoW8uFePQl6wBMg)
![[PLanQC'26] A Unified Assertion-Based Framework for Classical-Quantum Program Verification](https://i.ytimg.com/vi/MlfElLSb7ko/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCYgsVJwDC6mwfLLve4gPMSAEe9HA)
![[SAS] Towards Efficient Reasoning of Quantum Programs](https://i.ytimg.com/vi/nTE-xrXL55I/hq720.jpg?sqp=-oaymwE2CNAFEJQDSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLB175I_g_ZtqXMC4yar1fNtg9a6yw)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.