Acute pancreatitis (AP) is a common disease, and several scores aim to assess its prognosis. Our study aims to automatically recognize mild AP from computed tomography (CT) images in patients with acute abdominal pain but uncertain diagnosis from clinical and serological data through Radiomic model based on formal methods (FMs). We retrospectively reviewed the CT scans acquired with Dual Source 256-slice CT scanner (Somatom Definition Flash; Siemens Healthineers, Erlangen, Germany) of 80 patients admitted to the radiology unit of Antonio Cardarelli hospital (Naples) with acute abdominal pain. Patients were divided into 2 groups: 40 underwent showed a healthy pancreatic gland, and 40 affected by four different grades (CTSI 0, 1, 2, 3) of mild pancreatitis at CT without clear clinical presentation or biochemical findings. Segmentation was manually performed. Radiologists identified 6 patients with a high expression of diseases (CTSI 3) to formulate a formal property (Rule) to detect AP in the testing set automatically. Once the rule was formulated, and Model Checker classified 70 patients into "healthy" or "unhealthy". The model achieved:accuracy81%, precision 78% and recall81%. Combining FMs results with radiologists agreement, and applying the mode in clinical practice, the global accuracy would have been 100%. Our model was reliable to automatically detect mild AP at primary diagnosis even in uncertain presentation and it will be tested prospectively in clinical practice.