left

SRS

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsUser DefinedSRS

The input type SRS is a subclass of the input type TRS and therefore only the common items are available - just as for the input type TRS. A description of the techniques available can be found in the corresponding techniques chapter.