CAV 2020: 32ND INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
CAV-Conference-07-23-Room-A (video: https://youtu.be/-1c5i4T8nDI)

YouTube video: https://youtu.be/-1c5i4T8nDI

Sessions

  • Session 7A (Jul 23 09:15-10:45) CAV Conference: Program Verification and Symbolic Analysis