Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems

von Ferro, Carlos Mão de
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

Checking Data-Race Freedom of GPU Kernels, Compositionally

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