Library for Measurement and Verification
