Practical Abstractions for Automated Verification of Shared-Memory Concurrency

von Oortwijn, Wytse
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Automated Verification of the Parallel Bellman-Ford Algorithm

von Safari, Mohsen
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Formal Verification of Parallel Prefix Sum

von Safari, Mohsen
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems

von Hendriks, Dennis
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

Automated Verification of Parallel Nested DFS

von Oortwijn, Wytse
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Gobra: Modular Specification and Verification of Go Programs

von Wolf, Felix A.
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)