Data curation, Software, Formal analysis, Validation, Methodology, Writing - original draft.