Validation of Reactive Systems by Means of Verification and Conformance Testing