left

TRS

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedTRS

The input type TRS is the basic type and therefor only the common items are available. A description of the techniques available can be found in the corresponding techniques chapter.