Radiomic features for prostate cancer grade detection through formal verification