Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68111OpenAlexW2496613029MaRDI QIDQ5898608

Mooly Sagiv, Roman Manevich, Ran Shaham, Gilad Arnold

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (2)

A divide-and-conquer approach for analysing overlaid data structures ⋮ Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

This page was built for publication: Verification, Model Checking, and Abstract Interpretation