Checking system properties