CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
CAV-Conference-07-21-Room-C (video: https://youtu.be/C3YCFnNPD4Y)

YouTube video: https://youtu.be/C3YCFnNPD4Y

Sessions

  • Session 3C (Jul 21 09:15-10:45) CAV Conference: Hardware Verification and Decision Procedures