This group is for developers working on the probabilistic model checker
PRISM, extensions of it, or other related tools. We welcome all
questions, comments and discussions.
PRISM users with questions or comments should use the "
PRISM model checker" forum, also on Google Groups.