#

atomer

Here is 1 public repository matching this topic...

harmim / vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

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

Updated May 7, 2021
TeX

Improve this page

Add a description, image, and links to the atomer topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the atomer topic, visit your repo's landing page and select "manage topics."