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

Excel@FIT 2019
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: 22 days 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 (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-31T14:12:46.000Z (over 4 years ago)
• Last Synced: 2025-02-06T12:48:09.378Z (2 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
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Excel@FIT 2019

#### Authors

- Dominik Harmim 

- Vladimír Marcin 

- Ondřej Pavela