Abstract: Modern processors are becoming increasingly complicated, making them hard to be bug-free. Bounded model checking (BMC) and coverage-guided fuzzing (CGF) are two main complementary techniques ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results