#

atomer

Here are 3 public repositories matching this topic...

infer

harmim / infer

A static analyzer for Java, C, C++, and Objective-C.

c java facebook cpp static-analysis ocaml concurrency program-analysis abstract-interpretation atomicity facebook-infer atomicity-violation concurrent-programs atomer

Updated Sep 16, 2023
OCaml

vut-dip

harmim / vut-dip

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

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."