Skip to main content
Figure 4 | BMC Bioinformatics

Figure 4

From: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

Figure 4

Verification result. Result of the verification of the biological property specified in Figure 3, consisting of a false verdict and the corresponding counterexample composed of a subgraph of the FSTS (see left panel). The qualitative evolution of the concentration variables of the selected states of the counterexample is visualized (see right panel).

Back to article page

BMC Bioinformatics

ISSN: 1471-2105

Contact us