Personal tools
You are here: Home Events Title: CARMA Networking

Title: CARMA Networking

— filed under:

Speaker: Vashti Galpin

  • Lab Lunch
When Oct 30, 2018
from 01:00 PM to 02:00 PM
Where MF2, Level 4
Add event to calendar vCal


CARMA is a process-algebra-style modelling language developed in the EU project QUANTICOL for the quantitative modelling and analysis of collective adaptive systems. In this talk, I will demonstrate how CARMA is a good fit for modelling network structure and performance, focussing on software defined networking (SDN). Results are obtained by simulation as well as statistical model checking using MultiVeStA which is integrated into the CARMA software tool.

Document Actions