![]() |
TES |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | TES |
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.