ATTENTION/WARNING - NE PAS DÉPOSER ICI/DO NOT SUBMIT HERE

Ceci est la version de TEST de DIAL.mem. Veuillez ne pas soumettre votre mémoire sur ce site mais bien à l'URL suivante: 'https://thesis.dial.uclouvain.be'.
This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 

Algorithms for statistical model checking

Chenoy, Firmin
(2023)

Files

Chenoy_37911800_2023.pdf
  • Open access
  • Adobe PDF
  • 6.37 MB
Download

Details

Supervisors
Legay, Axel ; Parmentier, Maxime
Faculty
Ecole polytechnique de Louvain
Degree label
Master [120] : ingénieur civil en informatique, à finalité spécialisée
Abstract
This master thesis centers on the Smart Sampling algorithm, a statistical model checking algorithm, with the aim of enhancing its effectiveness and efficiency. The research journey begins with the comprehension of multiple theorical concepts following by a series of experiments conducted on both existing and especially created models, manipulating a specific algorithm parameter. Subsequently, a modified version of the algorithm is proposed to address the challenges identified during the experimentation phase. Finally, improvements to the algorithm are presented and validated through their application to various use cases. Through this study, valuable insights and advancements are made towards optimizing the Smart Sampling algorithm for more accurate and efficient statistical model checking.