Using the model checking method, we verified several Alzheimer's disease and cancer-related properties, and also identified important proteins (NFκB, ATF4, ASK1 and TRAF2) in the ER-Golgi network, which might be responsible for the pathogenesis of cancer and AD. The gene discussed is ATF4; the disease is early-onset autosomal dominant Alzheimer disease.