Systems Biology Model Checker

Brought to you by: fkrause, sstoma

Add a Review

Downloads: 0 This Week

Last Update: 2015-09-14

Browse Code

Get an email when there's a new version of Systems Biology Model Checker

This is a project about model checking for SB.

Project Activity

See All Activity >

Follow Systems Biology Model Checker

Systems Biology Model Checker Web Site

Other Useful Business Software

Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.

Get a free trial

Rate This Project

User Reviews

Be the first to post a review of Systems Biology Model Checker!

Additional Project Details

Registered

2011-03-01

Report inappropriate content

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

Recommended Projects

Systems Biology Format Converter
The Systems Biology Format Converter (SBFC) is a Java generic framework aiming to translate any systems biology model format into another. The SBFC Web Site providing detailed feature description and instructions for installing, using and developing new modules is: http://sbfc.sourceforge.net/ . Currently, SBFC allows the user to convert SBML models into the formats: BioPax, Matlab, Octave, XPP, DOT, and SBGN. Due to its modular design fast development and addition of new converters is highly facilitated. SBFC can be executed in two modes: 1. standalone executable downloading the package provided in this website; 2. web-service at http://www.ebi.ac.uk/biomodels/tools/converters . For general discussion about SBFC, please use the forum sbfc-forum@googlegroups.com . A mailing-list is also available for developers: sbfc-devel@googlegroups.com Thanks for using SBFC! The SBFC Team
SBW (Systems Biology Workbench)
Framework for Systems Biology
The Systems Biology Research Tool
The Systems Biology Research Tool (SBRT) is both an application and an application programming interface (API) intended to facilitate the computational aspects of systems biology.
Systems Biology Markup Language (SBML)
A file format for exchanging computational models in systems biology
Armenian Spell Checker
This project aims to create Armenian spell checking dictionaries for GNU Aspell and MySpell also as OpenOffice.org extension and Mozilla add-on.