
The author proposes a comprehensive verification framework for activity diagrams, transforming them into PRISM models for automated verification, addressing issues of evaluation, extensibility, adaptability, and accessibility.


coremsg

Quantitative-Assurance-and-Synthesis-of-Controllers-from-Activity-Diagrams


Quantitative Assurance and Synthesis of Controllers from Activity Diagrams


title_rewrite


Enhancing probabilistic model checking by incorporating distributional queries for more comprehensive analysis.


distributional-probabilistic-model-checking-enhancing-model-analysis-with-distributional-queries


Distributional Probabilistic Model Checking: Enhancing Model Analysis with Distributional Queries
