On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis