#

excel-at-fit

Here are 3 public repositories matching this topic...

harmim / vut-excel-at-fit-2019

Excel@FIT 2019

facebook article static-analysis deadlock bachelor-thesis abstract-interpretation atomicity vut vut-fit facebook-infer excel-at-fit worst-case-const

Updated Jul 31, 2020
TeX

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

xstupi00 / Bachelor-s-Degree

University Projects during Bachelor's Degree.

java tex ios cpp iss ids ipk ipp vut ial ity izg vut-fit school-projects excel-at-fit project-practice

Updated Aug 13, 2021
HTML

Improve this page

Add a description, image, and links to the excel-at-fit 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 excel-at-fit topic, visit your repo's landing page and select "manage topics."