Using dependence graphs to assist verification and testing of information-flow properties

DOI10.1007/978-3-319-92994-1_5zbMath1509.68048OpenAlexW2805517443MaRDI QIDQ6039392

Mihai Herda, Shmuel Tyszberowicz, Bernhard Beckert

Publication date: 5 May 2023

Published in: Tests and Proofs (Search for Journal in Brave)

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

zbMATH Keywords

testingnoninterferencesystem dependence graphdeductive verificationinformation flow control

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)