Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: 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: 29 days ago - Pushed: almost 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: 29 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Related Keywords
vut-fit 2 vut 2 static-analysis 2 program-analysis 2 ocaml 2 java 2 facebook-infer 2 facebook 2 cpp 2 contracts-for-concurrency 2 concurrent-programs 2 concurrency 2 c 2 atomicity-violation 2 atomicity 2 atomer 2 abstract-interpretation 2 master-thesis 1 article 1 excel-at-fit 1