Why the model checking technique is successful for HW verification, and failing for SW verification? For HW verification, HW like digital circuits are easy to model checking. But for SW, SW is usually so huge, we can only apply MC for abst…