Run-time verification for observational determinism using dynamic program slicing

DOI10.1007/978-3-319-69659-1_22zbMath1498.68066OpenAlexW2765559623MaRDI QIDQ2092484

Mohammad Ghorbani, Mehran S. Fallah

Publication date: 2 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-69659-1_22

zbMATH Keywords

concurrent programsinformation flow securitydynamic program slicingobservational determinismrun-time verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: Run-time verification for observational determinism using dynamic program slicing