Simulator of Internet Addiction
Simulation tools of the model of the dopaminergic system used to stude Internet addiction phenomena in social networks.
Objective/MC is a prototype high level model checking language. ObjMC is a compiler for the Objective/MC language, generating a DTMC PRISM model.
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.
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
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
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"
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
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
A simulator for studying phenomena of sympatric speciation by sexual selection in populations with different genotypes
The Stochastic CLS machine
A simulator of biological systems based on the Stochastic Calculus of Looping Sequences (Stochastic CLS)