Approximate Stochastic Model Checking in Alchemist


This thesis goal is to provide Alchemist with a module able to run approximate stochastic model checking. Roughly, those steps will be required:

  • Deep understanding of the Approximate Stochastic Model Checking
  • Deep understanding of Alchemist's model and engine
  • Definition of the concept of "parameter" for a generic simulation
  • Definition of the concept of "observable status"
  • Creation of a (possibly multithreaded, possibly distributed) executor for multiple simulations

Tags: Alchemist

Thesis

Approximate Stochastic Model Checking in Alchemist

Supervision

— supervisor

Mirko Viroli

— co-supervisor

Danilo Pianini

Sort

— cycle

second-cycle thesis

— status

out-of-date thesis

— language

wgb.gif

Dates

— available since

01/07/2012

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY