Login / Signup
Asya Frumkin
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Web Pages
Error Analysis
Multiscale
Desirable Properties
Top Venues
VMCAI
</>
Publications
</>
Asya Frumkin
,
Yotam M. Y. Feldman
,
Ondrej Lhoták
,
Oded Padon
,
Mooly Sagiv
,
Sharon Shoham
Property Directed Reachability for Proving Absence of Concurrent Modification Errors.
VMCAI
(2017)