User contributions for Yumiko Takahashi

08:2408:24, 20 September 2017 diff hist +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 2017 diff hist +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 2017 diff hist +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:4407:44, 20 September 2017 diff hist −37 History View →The ProB2 JavaFX History View
07:4207:42, 20 September 2017 diff hist +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..."