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

Angaben zum Objekt

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

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Freiburg
• (wer): Universität
• (wann): 2024
• Urheber: Dietsch, Daniel ; Heizmann, Matthias ; Klumpp, Dominik ; Schuessele, Frank ; Podelski, Andreas
• Beteiligte Personen und Organisationen: Albert-Ludwigs-Universität Freiburg ; Albert-Ludwigs-Universität Freiburg. Institut für Informatik

Weitere Informationen

• DOI: 10.1007/978-3-031-30820-8_40
• URN: urn:nbn:de:bsz:25-freidok-2473490
• Rechteinformation: Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 14.08.2025, 10:53 MESZ