Pombo, Carlos G. Lopez http://orcid.org/0000-0002-0248-5019
Suñé, Agustín Eloy Martinez http://orcid.org/0000-0003-1806-6932
Tuosto, Emilio http://orcid.org/0000-0002-7032-3281
Chapter History
First Online: 13 September 2024
Data Availability
: The source code of the tool, the code for generating the experimental data, and detailed instructions on how to reproduce the results presented in this paper are available in the Zenodo repository with the identifier . (See citation in []).
Conference Information
Conference Acronym: FM
Conference Name: International Symposium on Formal Methods
Conference City: Milan
Conference Country: Italy
Conference Year: 2024
Conference Start Date: 9 September 2024
Conference End Date: 13 September 2024
Conference Number: 26
Conference ID: fm2024
Conference URL: https://www.fm24.polimi.it/