PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification | IEEE Conference Publication | IEEE Xplore