Anthony Vandikas

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 4

Top Topics

Safety Analysis

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Azadeh Farzan, Anthony Vandikas
Reductions for safety proofs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Azadeh Farzan, Anthony Vandikas
Reductions for Automated Hypersafety Verification. CoRR (2019)
Azadeh Farzan, Anthony Vandikas
Automated Hypersafety Verification. CAV (1) (2019)
Azadeh Farzan, Anthony Vandikas
Reductions for Safety Proofs (Extended Version). CoRR (2019)