Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table

von Ročkai, Petr
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Compiling C and C++ Programs for Dynamic White-Box Analysis

von Baranová, Zuzana
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

LART: Compiled Abstract Execution: (Competition Contribution)

von Lauko, Henrich
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)