ProB Users

Contact owners and managers
1–30 of 63
Welcome to the prob-users mailing list.
Here we discuss issues around the ProB validation tool for formal models.
user manual and a few tutorials are available.
We also have a bug tracker.