libvsync, a library of concurrent synchronization primitives and data structures developed by Huawei Dresden Research Center, as part of the Software Verification Competition (SVCOMP).
#libvsync #Oniro #HuaweiDresden #R&D