MIRACH

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 3.0 (LGPLv3)

Follow MIRACH

MIRACH Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of MIRACH!

Additional Project Details

Programming Language

Java

Related Categories

Java Research Software

Registered

2010-06-01

Similar Business Software

KnowAll Matrix

Bailey Solutions offers cost-effective Library Management Systems (LMS) that can be hosted in the cloud or on your own servers. Our KnowAll Matrix Library System is designed by a library consultant in consultation with clients. 99% customer retention. Our core system includes: Catalogue:...

See Software
CodeAchi Library Management System

CodeAchi Library Management System is globally trusted software for Library Automation. This software is very easy to install to your windows computer and access it to multiple computer using LAN. CodeAchi LMS features training via documentation, live online, and webinars and YouTube videos and...

See Software
Bibliosoft

Make your library’s major tasks hassle-free. Now keeping records of books, and issues, and receiving books is fun. The barcode facility makes issues and receiving tasks very easy. Bibliosoft (Electronic Library System) is a powerful, flexible, and easy to use Library Management Software in...

See Software
Aura Online

Aura Online is an online library application for managing and lending all kinds of media and documentation. Applicable for large and small, physical or digital collections. Whether it is books, magazines, art objects, technological aids for care, equipment, toys or documents; with Aura Online...

See Software
Tanaza

Tanaza is an intuitive and responsive cloud-based management software for IT professionals to manage WiFi networks remotely. At the core of Tanaza's technology, there's TanazaOS, a powerful Linux-based Operating System compatible with multiple brands of access points. Tanaza makes the...

See Software
Colibris

Colibris is an integrated library management system in the cloud. It allows you to search through a collection of books, magazines, cd's, documents and other materials. Simply scan the EAN / ISBN barcode and Colibris will find the bibliographic details of over 25 million objects. Registering...

See Software