(1 - 14 von 14
)
programmeRadhia Cousot Award
staticanalysis.org
Hernan Ponce-De-Leon, Florian Furbach, Keijo Heljanko and Roland Meyer. A Context-Sensitive Memory Model for Verification of C/C++ Programs. Arie Gurfinkel ...
Programmeetaps 2024
etaps.org
— Krishna, Florian Furbach, Adwait A. Godbole and Yacoub G. Hendi. Parameterized Verification under TSO with Data Types; Marck van der Vegt ...
sortiert nach Relevanz / Datum