Verification View - Revision history

Yumiko Takahashi: /* Modelchecking */

2017-10-11T07:49:02Z

Modelchecking

← Older revision		Revision as of 07:49, 11 October 2017
Line 8:		Line 8:
	By pressing the plus button you can add several model checking variants. The following view will be shown:		By pressing the plus button you can add several model checking variants. The following view will be shown:
	[[File:Modelchecking Stage.png\|left]]		[[File:Modelchecking Stage.png\|left]]
	Select one of the search strategies (breadth first, depth first or a mix of both) and the checkboxes containing different possible errors like deadlocks to be checked for. By pushing the Model Check button your selected variant will be added to the list shown at the top of the Modelchecking Tab.		Select one of the search strategies (breadth first, depth first or a mix of both) and the checkboxes containing different possible errors like deadlocks to be checked for. By pushing the "Model Check" button your selected variant will be added to the list shown at the top of the Modelchecking Tab.

	==LTL Verifications==		==LTL Verifications==

Yumiko Takahashi: /* Constraint Based Checking */

2017-10-11T07:14:13Z

Constraint Based Checking

← Older revision		Revision as of 07:14, 11 October 2017
Line 15:		Line 15:
	==Constraint Based Checking==		==Constraint Based Checking==
	[[File:CBC.png\|left]]		[[File:CBC.png\|left]]
			[[File:Add CBC.png\|left]]

Yumiko Takahashi at 06:35, 11 October 2017

2017-10-11T06:35:11Z

← Older revision		Revision as of 06:35, 11 October 2017
Line 3:		Line 3:
	*LTL Verifications and		*LTL Verifications and
	*Constraint Based Checking		*Constraint Based Checking
	In each tab you can add multiple tests to check you currently selected machine.		In each tab you can add multiple tests to check you currently selected machine and interrupt the checking process by pressing the "Cancel" button.
	==Modelchecking==		==Modelchecking==
	[[File:Modelchecking.png\|left]]		[[File:Modelchecking.png\|left]]
Line 12:		Line 12:
	==LTL Verifications==		==LTL Verifications==
	[[File:LTL.png\|left]]		[[File:LTL.png\|left]]
			By pressing the "Add LTL Formula" or "Add LTL Pattern" buttons an editor for each respectively will be opened and you can add LTL formulas or patterns to the lists to be checked for.
	==Constraint Based Checking==		==Constraint Based Checking==
	[[File:CBC.png\|left]]		[[File:CBC.png\|left]]

Yumiko Takahashi: /* Modelchecking */

2017-10-04T07:10:08Z

Modelchecking

← Older revision		Revision as of 07:10, 4 October 2017
Line 6:		Line 6:
	==Modelchecking==		==Modelchecking==
	[[File:Modelchecking.png\|left]]		[[File:Modelchecking.png\|left]]
			By pressing the plus button you can add several model checking variants. The following view will be shown:
			[[File:Modelchecking Stage.png\|left]]
			Select one of the search strategies (breadth first, depth first or a mix of both) and the checkboxes containing different possible errors like deadlocks to be checked for. By pushing the Model Check button your selected variant will be added to the list shown at the top of the Modelchecking Tab.

	==LTL Verifications==		==LTL Verifications==
	[[File:LTL.png\|left]]		[[File:LTL.png\|left]]
	==Constraint Based Checking==		==Constraint Based Checking==
	[[File:CBC.png\|left]]		[[File:CBC.png\|left]]

Yumiko Takahashi at 06:51, 4 October 2017

2017-10-04T06:51:08Z

← Older revision		Revision as of 06:51, 4 October 2017
Line 5:		Line 5:
	In each tab you can add multiple tests to check you currently selected machine.		In each tab you can add multiple tests to check you currently selected machine.
	==Modelchecking==		==Modelchecking==
	[[File:Modelchecking.png]]		[[File:Modelchecking.png\|left]]
			==LTL Verifications==
			[[File:LTL.png\|left]]
			==Constraint Based Checking==
			[[File:CBC.png\|left]]

Yumiko Takahashi at 09:11, 27 September 2017

2017-09-27T09:11:38Z

← Older revision		Revision as of 09:11, 27 September 2017
Line 4:		Line 4:
	*Constraint Based Checking		*Constraint Based Checking
	In each tab you can add multiple tests to check you currently selected machine.		In each tab you can add multiple tests to check you currently selected machine.
			==Modelchecking==
			[[File:Modelchecking.png]]

Yumiko Takahashi: 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..."

2017-09-20T08:15:20Z

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..."

New page

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 to check you currently selected machine.

Verification View - Revision history

Yumiko Takahashi: /* Modelchecking */

Yumiko Takahashi: /* Constraint Based Checking */

Yumiko Takahashi at 06:35, 11 October 2017

Yumiko Takahashi: /* Modelchecking */

Yumiko Takahashi at 06:51, 4 October 2017

Yumiko Takahashi at 09:11, 27 September 2017

Yumiko Takahashi: 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..."

Yumiko Takahashi: 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..."