left

SES

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedSES

sesconfig

In Addition to the common items(2) the user is able to configure the evaluation strategy(1) for the input type SES. A description of the techniques available can be found in the corresponding techniques chapter.