AlchemistRevolver
Last modified by Danilo Pianini on 27/11/2020 12:28
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
Thesis Data
Supervision
(contact)
(supervisor)
(co-supervisors)
Sort
2nd Cycle Thesis
Status
available
Language
Dates
(available since)
01/07/2012