ProB Users

1–30 of 53
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.