Hybrid Verification: Mixing Formal Methods and Testing