You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Tools and Algorithms for the Construction and Analysis of Systems: Ultimate Taipan and Race Detection in Ultimate : (Competition Contribution)
:
(Competition Contribution)
Published in:
Tools and Algorithms for the Construction and Analysis of Systems (2023), Seite 582-587
Language:
Not determined
DOI:
10.1007/978-3-031-30820-8_40
ISBN:
9783031308192;
9783031308208
ISSN:
1611-3349;
0302-9743
Origination:
Footnote:
Description:
AbstractUltimate Taipan integrates trace abstraction with algebraic program analysis on path programs. Taipan supports data race checking in concurrent programs through a reduction to reachability checking. Though the subsequent verification is not tuned for data race checking, the results are encouraging.