Proof automation for Event-B theories - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Proof automation for Event-B theories

Fichier principal
Vignette du fichier
Proof_automation_for_Event_B_theories.pdf (290.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04308810 , version 1 (27-11-2023)

Identifiants

  • HAL Id : hal-04308810 , version 1

Citer

Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont. Proof automation for Event-B theories. 10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France. ⟨hal-04308810⟩
38 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More