Papers We Love: "Abstraction-Guided Synthesis of Synchronization -…" - Mastodon

Papers We Love @[email protected]

Abstraction-Guided Synthesis of Synchronization - Vechev, et al https://buff.ly/2wVPaCr

#pwlconf2018 #concurrency #verification #Algorithms #synthesis

Sep 15, 2018, 19:19 · · Web · · ·

Sign in to participate in the conversation