Static Analysis

DOI10.1007/B99688zbMath1104.68018OpenAlexW4291238798MaRDI QIDQ5466577

Mila Dalla Preda

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99688

zbMATH Keywords

CompletenessVerificationModel-checkingAbstract InterpretationData Flow AnalysisDomain RefinementSymbolic Trajectory Evaluation

Mathematics Subject Classification ID

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

This page was built for publication: Static Analysis