Jan 10, 2023 · In this paper, we propose a tool to translate verified Event-B models into the SPARK programming language.
This paper presents an approach to generate SPARK code from Event-B models. System models in Event-B are translated into SPARK packages including proof ...
This method is useful in modelling safety-critical systems, using mathematical proofs to show consistency of models in adhering to its specification. Models ...
Missing: Fundamental | Show results with:Fundamental
Generating SPARK from Event-B, providing fundamental safety and security ; Accepted/In Press date: 2022 ; Published date: 2022 ; Venue - Dates: DETECT 2022 mo ...
Generating SPARK from Event-B, Providing Fundamental Safety and Security ... Sritharan, S., Hoang, T.S.: Towards generating SPARK from Event-B models. In ...
Jan 15, 2021 · This paper presents an approach to generate SPARK code from Event-B models. System models in Event-B are translated into SPARK packages ...
This paper presents an approach to generate SPARK code from Event-B models. System models in Event-B are translated into SPARK packages including proof ...
Missing: Fundamental | Show results with:Fundamental
Publications that cite this publication ; Generating SPARK from Event-B, Providing Fundamental Safety and Security. Asieh Salehi Fathabadi, Dana Dghaym, Thai Son ...
Generating SPARK from Event-B, Providing Fundamental Safety and Security published | chapter doi:10.1007/978-3-031-23119-3_13. 2023-07-11, Verifiably Safe and ...
Generating SPARK from Event-B, Providing Fundamental Safety and Security In DETECT 2022 moDeling, vErification and Testing of dEpendable CriTical systems ...