Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
c
java
facebook
cpp
master-thesis
static-analysis
ocaml
concurrency
program-analysis
abstract-interpretation
atomicity
vut
vut-fit
facebook-infer
atomicity-violation
concurrent-programs
contracts-for-concurrency
atomer
-
Updated
Jul 27, 2022 - C