PRISM model checker developers

Contact owners and managers

prismmodelchecker-dev@googlegroups.com

Description

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.

Language

English (United Kingdom)

Privacy

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post

Anyone on the web

can ask to join group