security verification

Survey of approaches and techniques for security verification of computer systems
This article surveys the landscape of security verification approaches and techniques for computer systems at various levels: from a …
Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, Jakub Szefer
PDF Cite DOI URL