The ProB project, which is hosted by the Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, was originally created to support analysis of specifications constructed in the B method.
ProB projektas, kuris yra talpinamas Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, iš pradžių buvo sukurta siekiant remti analizės specifikacijų B metodui.