Groups
Sign in
Groups
PRISM model checker
Conversations
About
Send feedback
Help
PRISM model checker
Contact owners and managers
prismmodelchecker@googlegroups.com
Description
Support, questions and discussion on any topics relating to the PRISM model checker.
Language
English (United Kingdom)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Anyone on the web
can post
Anyone on the web
can join group