Validating operating system properties