Generalised multi-pattern-based verification of programs with linear linked structures

DOI10.1007/s00165-007-0031-xzbMath1125.68072OpenAlexW2048574451MaRDI QIDQ2642987

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

Publication date: 6 September 2007

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-007-0031-x

zbMATH Keywords

Program analysisFormal verificationDynamic linked data structures

Mathematics Subject Classification ID

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

Related Items

Formal study of functional orbits in finite domains

Uses Software

• MONA

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic analysis of pointer aliasing for untyped programs
• Computer Aided Verification
• Computer Aided Verification
• Programming Languages and Systems
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification