← Back to all lectures

#YuanFeng

1 lecture with this tag

32 | Hoare logic for verification of quantum programs
Software Tools & Verification Yuan Feng

32 | Hoare logic for verification of quantum programs

Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.

#YuanFeng #Quantum #Algorithm #Hardware #Software #Verification