|
[CKJ12]
Radu Calinescu, Shinji Kikuchi and Kenneth Johnson.
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.
In Proc. 17th Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems.
2012.
[Uses PRISM and its compositional (assume-guarantee) extensions to analyse large-scale complex IT systems (LSCITS).]
|
|
Links:
[Google]
[Google Scholar]
|