left

TES

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedTES

tesconfig

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