Structurally defined conditional data-flow static analysis

DOI10.1007/978-3-319-89963-3_15zbMath1423.68109OpenAlexW2797206907MaRDI QIDQ2324232

Matthew B. Dwyer, Elena Sherman

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89963-3_15

Mathematics Subject Classification ID

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

Related Items (1)

Reusing predicate precision in value analysis

This page was built for publication: Structurally defined conditional data-flow static analysis