Die Verlaufs-Ansicht zeigt eine Liste von bereits ausgeführten Operationen. Die Ansicht korrespondiert mit den Animations-Möglichkeiten und der Zustandsansicht von ProB. Wenn also eine Transition über z.B. VisB oder die Operations-Ansicht ausgeführt wird, wird diese automatisch dem Verlauf hinzugefügt. Wenn man im Verlauf zurückgeht, zum Beispiel durch Anklicken einzelner Transitionen oder durch Nutzen der Pfeiltasten, ändern sich auch die möglichen Operationen in der Operations-Ansicht, der Zustand der Maschine in der Zustandsansicht sowie die Darstellung in den verschiedenen Visualisierungsmöglichkeiten.
Die Pfeile am linken oberen Rand der Ansicht erlauben es, im Verlauf nach hinten oder vorne zu gehen. Der Kreispfeil lädt die Maschine neu. Achtung! Wenn die Maschine neu geladen wird, oder man im Verlauf zurückgeht und dann eine Operation ausführt, wird der bisherige Verlauf überschrieben/gelöscht!
Mit den Buttons am oberen rechten Rand können ausgeführte Pfade abgespeichert werden (wahlweise als .csv oder als .prob2trace) und zum Nachspielen geladen werden.