www.prismmodelchecker.org
[TK11] Li Tan and Axel Krings. An Adaptive N-variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis. In Proc. International Conference on Computational Science and Its Applications, Part II (ICCSA'11), pages 490-505. 2011. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications