08:2408:24, 20 September 2017diffhist+203 N
Statistics View
Created page with "The Statistics View provides some state and transition data: The main view shows the quantity of processed states and total transitions, the extended view shows additional sta..."
08:1508:15, 20 September 2017diffhist+214 N
Verification View
Created page with "The Verification View provides 3 different methods to test a machine: *Modelchecking *LTL Verifications and *Constraint Based Checking In each tab you can add multiple tests t..."
08:0408:04, 20 September 2017diffhist+489 N
Project View
Created page with "If no machine or no project has been opened, the Project View will allow you to create a project. If you choose to open a machine without having a project, a default project w..."
07:4207:42, 20 September 2017diffhist+410 N
History View
Created page with "== The ProB2 JavaFX History View == The History View shows a list of already executed operations. The items contained in this list are linked to the State View: When selectin..."
