Arshavir Ter-Gabrielyan

Modular verification of heap reachability properties in separation logic

Peter Müller, Alexander J. Summers, Arshavir Ter-Gabrielyan, 2019, Proc. ACM Program. Lang..

Modular verification of heap reachability properties in separation logic

Alexander J. Summers, Peter Müller, Arshavir Ter-Gabrielyan, 2019, Proc. ACM Program. Lang..

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (extended version)

Peter Müller, Alexandra Bugariu, Arshavir Ter-Gabrielyan, 2021, FM.