Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation