Computational protocol: An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Similar protocols

Protocol publication

[…] Biocham and Genetic Network Analyzer (GNA) are perhaps the computer tools for biochemical network analysis most extensively using model checking. We thus start with these two systems, and proceed with SMBioNet, Pathway Logic, Antelope, and XSSYS. […]

Pipeline specifications

Software tools BIOCHAM, GNA
Application Mathematical modeling