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

YouTube video: https://youtu.be/9oT2ZlhIWOo

Sessions

  • Session 9A (Jul 24 09:15-10:45) CAV Conference: Synthesis II