Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Vadim Sergeevich Mutilin"'
Publikováno v:
Frontiers in Software Engineering Education ISBN: 9783030576622
FISEE
FISEE
Most of the state-of-the-art verifiers do not scale well on complicated software. Concurrency benchmarks from SV-COMP based on Linux device drivers cause significant difficulties for any software model checker tool.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c92e3a3333dff8ba1ce21b9f7ee14422
https://doi.org/10.1007/978-3-030-57663-9_24
https://doi.org/10.1007/978-3-030-57663-9_24
Publikováno v:
Proceedings of 19th Scientific Conference “Scientific Services & Internet – 2017”.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24ad0cc7c23bddd5634de4044fc5aae1
https://doi.org/10.20948/abrau-2017-70
https://doi.org/10.20948/abrau-2017-70
Publikováno v:
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering.
The paper presents a lightweight approach to static data race detection. It is based on the Lockset one, but it implements several simplifications that are aimed to reduce amount of false alarms. The approach is implemented on top of CPAchecker tool
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f442afdcf1fd73b4895521b2ab18416
http://cyberleninka.ru/article_covers/15569661.png
http://cyberleninka.ru/article_covers/15569661.png
