Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/harmim/vut-excel-at-fit-2019

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

Last synced: about 1 month ago
JSON representation

Excel@FIT 2019

Host: GitHub
URL: https://github.com/harmim/vut-excel-at-fit-2019
Owner: harmim
Created: 2019-03-25T17:05:47.000Z (almost 6 years ago)
Default Branch: master
Last Pushed: 2020-07-31T14:12:46.000Z (over 4 years ago)
Last Synced: 2024-04-24T03:21:12.373Z (9 months ago)
Topics: abstract-interpretation, article, atomicity, bachelor-thesis, deadlock, excel-at-fit, facebook, facebook-infer, static-analysis, vut, vut-fit, worst-case-const
Language: TeX
Homepage: http://excel.fit.vutbr.cz
Size: 4.32 MB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0