Errors are defined as violations of requirements expressed as properties of the system.
['defined', 'as']
['Errors', 'are', 'defined', 'as', 'violations', 'of', 'requirements', 'expressed', 'as', 'properties', 'of', 'the', 'system.']