Proof automation for Event-B theories - Archive ouverte HAL Access content directly
Conference Papers Year : 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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-04308810 , version 1


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 View
17 Download


Gmail Facebook X LinkedIn More