Arshavir Ter-Gabrielyan | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Peter Müller
27 publications
Alexander J. Summers
8 publications
Alexandra Bugariu
1 publication

research

∙ 05/10/2021

Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers

Universal quantifiers occur frequently in proof obligations produced by ...

0 Alexandra Bugariu, et al. ∙

research

∙ 08/16/2019

Modular Verification of Heap Reachability Properties in Separation Logic

The correctness of many algorithms and data structures depends on reacha...

0 Arshavir Ter-Gabrielyan, et al. ∙

Success!

An error occurred