Software

Simulator of Internet Addiction

Simulation tools of the model of the dopaminergic system used to stude Internet addiction phenomena in social networks.
read more

Objective/MC

Objective/MC is a prototype high level model checking language. ObjMC is a compiler for the Objective/MC language, generating a DTMC PRISM model.
read more

Spatial P systems

Simulator for the territorial fish and herring models presented in the paper "Simulation of spatial P system models" by Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Giovanni Pardini.
read more

Grid Systems modelling and simulation tool

A Java modelling and simulation tool for ecological systems described by Grid Systems. This software has been developed in the context of the Ph.D. thesis "Formal Modelling for Population Dynamics" by Suryana Setiawan
read more

DelaySim

A library to perform stochastic simulation of biological systems with delays. This software has been developed to perform simulations described in the Ph.D. thesis "Formal Modeling and Simulation of Biological Systems With Delays" by Giulio Caravagna
read more

Translation of the Lac operon model into NuSMV input language

The model developed for the paper "Modular Verification of Interactive Systems with an Application to Biology"
read more

Stochastic Antitumour-Immune System

The software developed for the paper "Antitumour Immune Surveillance Through Stochastic Oscillations". Journal of Theoretical Biology, Volume 265, Issue 3, pages 336-345
read more

AMSR2PRISM translator

A translator of Abstract Multiset Rewriting (AMSR) models into models for the PRISM model checker, that allows model checking of biological systems with uncertainty on kinetic rates
read more

SPECsim simulator

A simulator for studying phenomena of sympatric speciation by sexual selection in populations with different genotypes
read more

The Stochastic CLS machine

A simulator of biological systems based on the Stochastic Calculus of Looping Sequences (Stochastic CLS)
read more