[boost] Boost Verify