[[Category:Physical Units Plugin]]
This tutorial describes, how ProB's integrated plugin for unit analysis can be used with Event-B machines from inside the Rodin p
2 KB (384 words) - 16:05, 3 February 2021
[[Category:Physical Units Plugin]]
...ated plugin for unit analysis can be used to verify the usage of physical units throughout a B machine. This includes
4 KB (544 words) - 08:56, 22 March 2019
* [[Tutorial Symbolic Constants|Using the Symbolic Contants Plugin]]
There are two tutorials on the physical units plugin (which is no longer supported as of ProB 1.9.0):
3 KB (448 words) - 16:21, 2 October 2021