left

ETRS

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedETRS

etrsconfig

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.