Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898612
DOI10.1007/11609773zbMath1176.68043OpenAlexW2496613029MaRDI QIDQ5898612
Stefano Rossignoli, Fausto Spoto
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
Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Abstract Program Slicing ⋮ From Jinja bytecode to term rewriting: a complexity reflecting transformation ⋮ Inference of Field-Sensitive Reachability and Cyclicity ⋮ Magic-sets for localised analysis of Java bytecode ⋮ Cost analysis of object-oriented bytecode programs ⋮ A multi-domain incremental analysis engine and its application to incremental resource analysis
This page was built for publication: Verification, Model Checking, and Abstract Interpretation
