University of Twente Student Theses


GUI for FIG : visualising simulation results

Plentinger, C.S. (2020) GUI for FIG : visualising simulation results.

[img] PDF
Abstract:Statistical model checking (SMC) is used to reason about complex stochastic systems. Analytical and numerical approaches are often infeasible because of large state spaces. The Finite Improbability Generator (FIG tool) is a rare event simulator that can reason about these systems. We will be creating a GUI for FIG to visualise simulation results in real-time. Additionally, hypothesis testing will be added to the tool as an extension.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page