Generating specifications for recursive methods by abstracting program states

DOI10.1007/978-3-319-25942-0_16MaRDI QIDQ5351877zbMATH OpenOpenAlexFDO

Authors Nathan Wasser

Publication date 31 August 2017

Published in Dependable Software Engineering: Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25942-0_16

zbMATH Keywords

abstract interpretationmethod contractsprogram verificationrecursionspecification generation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4043304
• Automated synthesis of recursive programs from a logical specification
• Automated verification of recursive programs with pointers
• scientific article; zbMATH DE number 2084338
• Automatic Testing from Formal Specifications

This page was built for publication: Generating specifications for recursive methods by abstracting program states

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