Complementary use of runtime validation and model checking.

Ali Alphan Bayazit, Sharad Malik

Browse the full ICCAD paper archive.