Pattern-based verification of programs with extended linear linked data structures

MaRDI QIDQ2863858zbMATH OpenFDO

Authors Milan Češka, Pavel Erlebach, Tomáš Vojnar

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052539?np=y

zbMATH Keywords

formal verificationprogram analysisdynamic linked data structures

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Generalised multi-pattern-based verification of programs with linear linked structures
• Tools and Algorithms for the Construction and Analysis of Systems
• Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
• Tools and Algorithms for the Construction and Analysis of Systems
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Cited in

(8)

• Generalised multi-pattern-based verification of programs with linear linked structures
• Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking
• Identifying dynamic data structures by learning evolving patterns in memory
• Verification of mutable linear data structures and iterator-based algorithms in Dafny
• Automatically analyzing inductive properties for recursive data structures
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 5850099 (Why is no real title available?)

This page was built for publication: Pattern-based verification of programs with extended linear linked data structures

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