Panel: given that hardware verification has been an uphill battle, what is the future of software verification? | IEEE Conference Publication | IEEE Xplore