• Verifying programs and libraries