A framework for combining analysis and verification

DOI10.1145/325694.325700MaRDI QIDQ5178839zbMATH OpenOpenAlexFDO

Authors Nevin Heintze, Joxan Jaffar, Rǎzvan Voicu

Publication date 17 March 2015

Published in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/325694.325700

zbMATH Keywords

abstract interpretationprogram analysisprogram verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Program verification with interacting analysis plugins
• Verification of Java programs with interacting analysis plugins
• scientific article; zbMATH DE number 1368925
• Combining model checking and data-flow analysis
• Using program synthesis for program analysis

Cited in

(11)

• Reusing predicate precision in value analysis
• Verification of Java programs with interacting analysis plugins
• Automatic verification of combined specifications: an overview
• Quality engineering: leveraging heterogeneous information (invited talk)
• Combining model checking and data-flow analysis
• Collaborative verification and testing with explicit assumptions
• scientific article; zbMATH DE number 2090149 (Why is no real title available?)
• Compositional may-must program analysis: unleashing the power of alternation
• Programming Languages and Systems
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Multivariant assertion-based guidance in abstract interpretation

This page was built for publication: A framework for combining analysis and verification

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