Defining Methods and Custom Properties

This section describes how you can define methods and custom verification properties.