Formal property verification in a conformance testing framework | IEEE Conference Publication | IEEE Xplore