Work

Artifact for: Statistical Model Checking of Stochastic Simulink Models using UPPAAL Stochastic Timed Automata

Year: 2026

Type: article

Abstract: This artifact is submitted to complement the paper "Statistical Model Checking of Stochastic Simulink Models using UPPAAL Stochastic Timed Automata" submitted to FormaliSE27.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.24112447

Authors: Blohm, Pauline, Dreiling, Elisabeth, Herber, Paula, Remke, Anne

Institutions: University of Münster, University of Twente

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225751516

FWCI:

Cites:

Cited by:

Related to: