Search results

  • [[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