Patent attributes
Computer-implemented methods are provided for generating a personalized Boolean model for a genetic disease of a patient. The method includes storing specification data and reference model data. The reference model includes gene nodes, representing genes, connected to Boolean circuitry and a plurality of inputs for receiving binary input values. Each gene node in the reference model comprises a multiplexer. The multiplexer has a first input and an output, a second input for receiving a binary mutation value, and a control input for receiving a binary selector value. The method further comprises using a model checker to determine if the specification is reachable in the reference model. If the specification is reachable, the method includes identifying each multiplexer whose second input was connected to its output in the path reaching the specification to obtain mutation data for the patient, generating a personalized Boolean model, and outputting personal model data.
