Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Pavel Andrianov"'
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
TACAS (2)
Our submission to SV-COMP’21 is based on the software verification framework "Image missing" and implements the extension to the thread-modular approach. It considers every thread separately, but in a special environment which models thread interac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e093d963f150c2039020e06a1c9624ff
https://doi.org/10.1007/978-3-030-72013-1_25
https://doi.org/10.1007/978-3-030-72013-1_25
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783319899626
TACAS (2)
TACAS (2)
Our submission to SV-COMP’18 is a composite tool based on software verification framework CPAchecker and static analysis platform Frama-C. The base verifier uses a combination of predicate and explicit value analysis with block-abstraction memoizat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a137cadbc49472aa6b09fd6cfb695e6
https://doi.org/10.1007/978-3-319-89963-3_26
https://doi.org/10.1007/978-3-319-89963-3_26
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319717333
The paper presents a configurable method for static data race detection. The method is based on a lightweight approach that implements Lockset algorithm with a simplified memory model. The paper contributes two heavyweight extensions which allow to a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c386043dd34619bd6f10588f3514762d
https://doi.org/10.1007/978-3-319-71734-0_2
https://doi.org/10.1007/978-3-319-71734-0_2
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662545799
TACAS (2)
TACAS (2)
Our submission to SV-COMP'17 is based on the software verification framework CPAchecker. Combined with value analysis and predicate analysis we use the concept of block-abstraction memoization with optimization and several fixes relative to the versi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8c725e7ca36368624f38637ba9019ef
https://doi.org/10.1007/978-3-662-54580-5_22
https://doi.org/10.1007/978-3-662-54580-5_22
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
