Verification Constraint Problems with Strengthening

DOI10.1007/11921240_3MaRDI QIDQ3525138zbMATH OpenOpenAlexFDO

Authors Aaron R. Bradley, Zohar Manna

Publication date 11 September 2008

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1670798
• Constraint-Based Invariant Inference over Predicate Abstraction
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1796136

Cited in

(7)

• Sub-core solutions of the problem of strong implementation
• Understanding parameters of deductive verification: an empirical investigation of KeY
• When is a formula a loop invariant?
• A complete validation method based on constraints.
• On invariant checking
• The Constraint Database Approach to Software Verification
• Property-directed incremental invariant generation

This page was built for publication: Verification Constraint Problems with Strengthening

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