Formal proofs applied to system models - Trente-Quatrièmes Journées Francophones des Langages Applicatifs Access content directly
Conference Papers Year : 2023

Formal proofs applied to system models

Évelyne Contejean
Andrei Samokish
  • Function : Author
  • PersonId : 1214913


Usually, the description of nuclear equipment by the FMEA (Failure Mode and Effects Analysis) method can be of considerable length (up to 5,000 lines); on the other hand, the number of rules used for the verification of this equipment is small. In addition, upstream, there is the question of trust in the tools that generate these descriptions for complex equipment, that is to say, made up of several thousand objects (requirements, functions, interfaces, behaviors).
Fichier principal
Vignette du fichier
jfla23_paper_9404.pdf (631.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03936894 , version 1 (12-01-2023)
hal-03936894 , version 2 (25-01-2023)


  • HAL Id : hal-03936894 , version 2


Évelyne Contejean, Andrei Samokish. Formal proofs applied to system models. JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.121-133. ⟨hal-03936894v2⟩
70 View
76 Download


Gmail Facebook Twitter LinkedIn More