![]() |
ETRS |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | ETRS |
For the input type ETRS not all techniques are applicable. So only compatible techniques are offered in the common items(2). The user can also select if tuple symbols are used for equational symbols(1) when building the Dependency Pairs.