Validation of functional properties