Dual analysis for proving safety and finding bugs

DOI10.1016/j.scico.2012.07.004zbMath1264.68065OpenAlexW2034485713MaRDI QIDQ1951646

Corneliu Popeea, Wei-Ngan Chin

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2012.07.004

zbMATH Keywords

static analysisautomated verificationfalse positivenumerical abstract domain

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 (2)

Guiding Craig interpolation with domain-specific abstractions ⋮ Transformation-Enabled Precondition Inference

Uses Software

• BLAST
• GHC
• ESC/Java
• DART

This page was built for publication: Dual analysis for proving safety and finding bugs