Further supported simulators

A non-complete list of supported simulators in alphabetic order TO BE UPDATED:

• Alchemist: a simulator targeting chemical-oriented computational systems
• ARGoS: a multi-robot, multi-engine simulator for heterogeneous Swarm robotics
• Bike Sharing Simulator – TopoChecker topological model checker: A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems
• Bio-PEPA: a language for the modelling and the analysis of biochemical networks
• CO2: A Contract-Oriented middleware
• DESMO-J: a framework for discrete-event modeling and simulation (contributor Claudia Cauli)
• DEUS: a general-purpose, open-source, simulator for the analysis of large scale systems
• Edinburgh Bus Simulator: a tool for the analysis of public transportation systems
• ERODE: Evaluation and Reduction of Ordinary Differential Equations
• QFLan: a probabilistic feature-oriented language with quantitative constraints for product families
• RisQFLan: Quantitative Security Risk Modeling and Analysis using QFLan
• MISSCEL: an interpreter and simulator for the Service Component Ensemble Language
• ONE: the Opportunistic Network Environment discrete event simulator (details on integration and contributors are provided here)
• OnPlan: a framework for simulation-based online planning
• Probabilistic Maude: an engine to execute probabilistic rewrite theories. Try out MultiVeStA with an implementation of a dice in PMaude
• Any Python simulator, using Py4J
• A built in DTMC and CTMC engine
• other simulators coming soon
• …and yours with just few lines of code (contact us!).