“MoSpec”: A customized and integrated system for model development, verification and validation

• Marcello Pompa,

  Roles Methodology, Software, Validation, Visualization, Writing – original draft

  Affiliation Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy

  https://orcid.org/0000-0001-9757-6310

  ⨯
• Simona Panunzi ,

  Roles Methodology, Software, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: simona.panunzi@cnr.it, simona.panunzi@biomatematica.it

  Affiliation Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy

  https://orcid.org/0000-0003-0956-8578

  ⨯
• Alessandro Borri,

  Roles Methodology, Software, Writing – review & editing

  Affiliation Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy

  ⨯
• Laura D’Orsi,

  Roles Methodology, Software, Writing – review & editing

  Affiliation Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy

  ⨯
• Andrea De Gaetano

  Roles Conceptualization, Formal analysis, Methodology, Supervision, Visualization, Writing – original draft, Writing – review & editing

  Affiliations Institute of Systems Analysis and Informatics “A. Ruberti” (IASI), National Research Council of Italy, Rome, Italy, Institute for Biomedical Research and Innovation (IRIB), National Research Council of Italy, Palermo, Italy, Dept. of Biomatics Óbuda University, Budapest, Hungary

  ⨯