US9606732B2 - Verification of Serialization of Storage Frames Within an Address Space via Multi-Threaded Programs