Topic: "contracts-for-concurrency"
harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: C - Size: 63 MB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Language: TeX - Size: 8.2 MB - Last synced at: 22 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0