TY - GEN
T1 - Ultimate Taipan and Race Detection in Ultimate
T2 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023
AU - Dietsch, Daniel
AU - Heizmann, Matthias
AU - Klumpp, Dominik
AU - Schüssele, Frank
AU - Podelski, Andreas
N1 - Publisher Copyright:
© 2023, The Author(s).
PY - 2023/1/1
Y1 - 2023/1/1
N2 - Ultimate 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.
AB - Ultimate 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.
UR - https://www.scopus.com/pages/publications/85161392879
U2 - 10.1007/978-3-031-30820-8_40
DO - 10.1007/978-3-031-30820-8_40
M3 - Conference contribution
AN - SCOPUS:85161392879
SN - 9783031308192
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 582
EP - 587
BT - Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings
A2 - Sankaranarayanan, Sriram
A2 - Sharygina, Natasha
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 22 April 2023 through 27 April 2023
ER -