PRISM model checker developers

Contact owners and managers
1–30 of 91
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.