High quality behavioral verification using statistical stopping criteria. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (DATE, 2001)

Stopping Criteria Comparison: Towards High Quality Behavioral Verification. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (ISQED, 2001)