Ultimate taipan and race detection in ultimate

Abstract: 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

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch
• Notes: Tools and Algorithms for the Construction and Analysis of Systems. - Cham, 2023. - 582-587, ISBN: 978-3-031-30820-8

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Freiburg
• (who): Universität
• (when): 2024
• Creator: Dietsch, Daniel ; Heizmann, Matthias ; Klumpp, Dominik ; Schuessele, Frank ; Podelski, Andreas
• Contributor: Albert-Ludwigs-Universität Freiburg ; Albert-Ludwigs-Universität Freiburg. Institut für Informatik

Further information

• DOI: 10.1007/978-3-031-30820-8_40
• URN: urn:nbn:de:bsz:25-freidok-2473490
• Rights: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 25.03.2025, 1:47 PM CET