Automatic detection of vulnerable variables for CTL properties of programs

DOI10.29007/DNPXMaRDI QIDQ7025196zbMATH OpenFDO

Authors Naïm Moussaoui Remil, C. Urban, Antoine Miné

Publication date 19 February 2025

zbMATH Keywords

abstract interpretationsecuritystatic analysisprogram verificationCTL

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Automatic detection of vulnerable variables for CTL properties of programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025196)