Static Analysis
From MaRDI portal
Publication:5466572
DOI10.1007/b99688zbMath1104.68021OpenAlexW4291238798MaRDI QIDQ5466572
Viktor Kuncak, Martin C. Rinard
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99688
RecordsTypesProgram VerificationStatic AnalysisShape AnalysisDescription LogicTwo-Variable Logic with Counting
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ A logic of reachable patterns in linked data-structures ⋮ On the almighty wand ⋮ On the Almighty Wand ⋮ A Spatial Equational Logic for the Applied π-Calculus ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
This page was built for publication: Static Analysis
