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 verificationprogram analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) 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)

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

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)