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