|
[OMD23]
Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi.
An Enhanced Interface-Based Probabilistic Compositional Verification Approach.
In Proc. International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'23).
2023.
[Proposes compositional methods for probabilistic verification using PRISM as an underlying engine.]
|
|
Links:
[Google]
[Google Scholar]
|