1. A method, comprising: predicting a plurality of behaviors of a design under test (DUT); forking respective verification tasks for each one of the plurality of behaviors; verifying an actual behavior of the DUT with each of the verification tasks; and terminating a respective one of the verification tasks when the actual behavior of the DUT does not conform to the respective one of the verification tasks.