ProB can also be used to verify properties of combined CSP and B specifications.
ProB taip pat gali būti naudojama patikrinti savybių suderintas CSP ir B aprašymais.