Systems Biology Model Checker

Brought to you by: fkrause, sstoma

Downloads: 0 This Week

Last Update: 2015-09-14

Browse Code

This is a project about model checking for SB.

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Rate This Project

User Reviews

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

2011-03-01

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start 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
Systems Biology Markup Language (SBML)
A file format for exchanging computational models in systems biology
Khmer Spelling Checker for OOo
Project to create and test a Khmer Unicode Spell Checking Dictionary for OpenOffice
Equals Checker
A static checker that model checks the implementation of equality for an Eclipse Java Project.