www.prismmodelchecker.org
[BML+05] M. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri and M. Sebastianis. Model checking publish/subscribe notification for thinkteam. In J. Bicarregui, A. Butterfield and A. Arenas (editors), Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), volume 133 of Electronic Notes in Theoretical Computer Science, pages 275-294, Elsevier Science. 2005. http://dx.doi.org/10.1016/j.entcs.2004.08.069
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.
Links: [Google] [Google Scholar]

Publications