A 2-Phase Method for Validation of Matching Pair Property with Case Studies of Operating Systems | IEEE Conference Publication | IEEE Xplore