Examples

This section provides examples for defining methods and custom verification properties.