Figure 2From: A novel procedure for statistical inference and verification of gene regulatory subnetworkPseudocode of gene regulatory network inference and formal verification. Part I describes the dynamic Bayesian network inference method implemeted by Banjo; part II describes the formal verification implemented by weighted symbolic model checker.Back to article page