Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

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.