Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding

DOI10.1007/11823230_14MaRDI QIDQ3613387zbMATH OpenOpenAlexFDO

Authors Gilad Arnold

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11823230_14

Mathematics Subject Classification ID

Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Structural, Syntactic, and Statistical Pattern Recognition
• Three-dimensional affine spatial logics
• A relational framework for higher-order shape analysis
• Verification, Model Checking, and Abstract Interpretation
• A structural approach to representation of 3D-objects
• scientific article; zbMATH DE number 1953039
• Shape analysis with reference set relations

Cited in

(1)

• Logical characterizations of heap abstractions

Describes a project that uses

Uses Software

• TVLA

This page was built for publication: Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding

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