Complementary use of runtime validation and model checking.

Ali Alphan Bayazit Sharad Malik Complementary use of runtime validation and model checking. 1052-1059 2005 conf/iccad/2005 ICCAD db/conf/iccad/iccad2005.html#BayazitM05