Follow
Anthony Vandikas
Anthony Vandikas
Computer Science Student, University of Toronto
Verified email at mail.utoronto.ca - Homepage
Title
Cited by
Cited by
Year
Automated hypersafety verification
A Farzan, A Vandikas
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
522019
Reductions for safety proofs
A Farzan, A Vandikas
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
362019
Reductions for Safety Proofs (Extended Version)
A Farzan, A Vandikas
arXiv preprint arXiv:1910.14619, 2019
2019
Reductions for Automated Hypersafety Verification
A Farzan, A Vandikas
arXiv preprint arXiv:1905.09242, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–4