Generating Diagnoses for Probabilistic Model Checking Using Causality

CIT. Journal of Computing and Information Technology

Bourahla, Mustapha¹  Debbi, Hichem¹ 

[1] Department of Computer Science, University of M'sila, Algeria

关键词: Probabilistic Model Checking (PMC);    Counterexample;    Probabilistic Computation Tree Logic (PCTL);    Discrete-Time Markov Chain (DTMC);    ...;   

DOI  :  

学科分类：计算机科学（综合）

来源: Sveuciliste u Zagrebu

【 摘 要 】

One of the most major advantages of Model checking over other formal methods of verification, its ability to generate an error trace in case of a specification falsified in the model. We call this trace a counterexample. However,...

【 授权许可】

Unknown