Qbricks, un environnement pour la vérification formelle en informatique quantique * - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2019

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Christophe Chareton
  • Fonction : Auteur
  • PersonId : 1050112
Laboratoire Sûreté des Logiciels
Sébastien Bardin
  • Fonction : Auteur
  • PersonId : 755498
  • IdRef : 161083781
Laboratoire Sûreté des Logiciels
François Bobot
Laboratoire Sûreté des Logiciels
Valentin Perelle
  • Fonction : Auteur
Laboratoire Sûreté des Logiciels
Benoît Valiron
CentraleSupélec
Quantum Computation Structures
Laboratoire Méthodes Formelles
CV

Domaines

Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
Qbrick_AFADL.pdf (196.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Christophe Chareton  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02175079

Soumis le : vendredi 5 juillet 2019-14:44:23

Dernière modification le : mardi 3 septembre 2024-11:16:05

Télécharger pour visualiser

Dates et versions

hal-02175079 , version 1 (05-07-2019)

Identifiants

  • HAL Id : hal-02175079 , version 1

Citer

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle, Benoît Valiron. Qbricks, un environnement pour la vérification formelle en informatique quantique *. 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-02175079⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA CNRS INRIA ENS-CACHAN CENTRALESUPELEC DRT INRIA2 CEA-UPSAY UNIV-PARIS-SACLAY LIST ANR ENS-PARIS-SACLAY GS-ENGINEERING GS-COMPUTER-SCIENCE GS-SPORT-HUMAN-MOVEMENT LMF
278 Consultations
470 Téléchargements

Partager

More