Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Couvre les principes fondamentaux de l'informatique quantique, y compris la réalisation de qubits, les ordinateurs quantiques évolutifs, la communication quantique et les algorithmes quantiques.
