Skip to main content
Figure 1 | BMC Bioinformatics

Figure 1

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

Figure 1

Service-oriented architecture. Service-oriented architecture for the integration of tools for the modeling and simulation of genetic regulatory networks with formal verification (FV) tools. In particular, the architecture has been implemented for the connection of GNA with the model checkers NU SMV and CADP. GNA is extended with a verification module responsible for the transformation of the model and properties into a format specific to a formal verification tool, and for the communication with the other components of the service-oriented architecture.

Back to article page

BMC Bioinformatics

ISSN: 1471-2105

Contact us