Die Menüleiste enthält die diversen Kommandos, um auf die Funktionen von ProB zuzugreifen. Sie beinhaltet die Menüs
Das Dateiuntermenü erlaubt es ein neues Projekt anzulegen, das aktuell geöffnete Projekt zu speichern und neu zu laden oder die Liste der zuletzt geöffneten Projekte zu verwalten.
Die derzeitig laufende Maschine kann exportiert werden oder ihre interne Repräsentation angezeigt werden.
Im Untermenü "Einstellungen" können die Darstellung des UI und die Präferenzen des aktuellen Projekts geändert werden. "Schließen" beendet das Programm.
Dieses Untermenü erlaubt es die Schrift- und Buttongröße in dem ProB2 JavaFX UI anzupassen oder in den Fullscreen-Modus zu gehen.
Das Visualisierungsmenü stellt verschiedene Formen der Visualisierung zur Verfügung.
Es ist möglich, die Transitionen und den Zustand der Maschine als Graph oder Tabelle oder mithilfe des Magic Layout zu visualisieren.
Des Weiteren bietet das Zeitdiagramm eine Darstellung bestimmter Werte anhand der eingegebenen Formeln.
Dieses Untermenü stellt eine Groovy- sowie eine ProB-Kern-Konsole zur Verfügung und erlaubt es Plugins und eigene Visualisierungen zu verwalten.
Die SimB-Option stellt automatisierte Simulationen für formale Modellierung zur Verfügung.
Das Fensteruntermenü erlaubt es Perspektiven zu ändern und Komponenten abzutrennen.
Dieses UI bringt 3 verschiedene voreingestellte Perspektiven. Es ist erlaubt eigene Perspektiven zu nutzen, indem man eine FXML-Datei, die die Ansichten enthält, zur Verfügung stellt. Achtung! Die Nutzung eigener Perspektiven kann dazu führen, dass Komponenten nicht mehr abgetrennt werden können.
Das Hilfeuntermenü stellt Hilfe zum ProB2 JavaFX UI und Informationen zum ProB2 UI (inklusive Details zum ProB2 Kernel, dem ProB CLI und der Javaversion, die hier benutzt werden) zur Verfügung.
Des Weiteren können Probleme und Bugs gemeldet werden. Im Menü Syntax wird eine Übersicht über die Syntax verschiedener unterstützter Sprachen, wie B, TLA oder CSP zu Verfügung gestellt.