10:2410: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..."
10:1510: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..."
10:0410: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..."
09:4209: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..."
