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

Veeam Data Platform v13.1

Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try Now

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
PowerBK

PowerBK is a Windows library management software designed for libraries, schools, universities, associations, professionals and private book collections. It supports book cataloging, contacts and borrowers, loans and returns, due dates, barcode labels, inventory, searches, reports and data...

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
Bibliocloud

Bibliocloud is cloud-based library management software for school, public and other institutional libraries. It provides a browser-accessible catalog for managing titles and copies, readers, loans and returns, reservations and waiting lists. Tools include ISBN-assisted cataloging, Excel imports,...

See Software
All My Books

The only cataloging software you'll ever need. All My Books helps you archive, organize and track your book collection through an easy-to-use, flexible interface. Whether you're working with printed, audio, e-books — or a combination of all three; All My Books has exactly what you need to...

See Software

Report inappropriate content