Inborn errors of metabolism; Flux balance analysis; Model checking; Genome-scale metabolic network reconstruction; Spin; Promela; Systems biology

Several human diseases are caused by metabolism defects. Discovering the mechanisms that govern the onset and progression of human metabolism-related diseases is not a straightforward process. Computational approaches, such as the flux balance …