The top documents tagged [corresponding trace]

PPT

PPT

2.284 views
Runtime Refinement Checking of Concurrent Data Structures (the VYRD project) Serdar Tasiran Koç University, Istanbul, Turkey Shaz Qadeer Microsoft Research,

Runtime Refinement Checking of Concurrent Data Structures (the VYRD project) Serdar Tasiran Koç University, Istanbul, Turkey Shaz Qadeer Microsoft Research,

228 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS