Responsibility analysis by abstract interpretation

DOI10.1007/978-3-030-32304-2_18zbMATH Open1539.68062MaRDI QIDQ6536296

Chaoqiang Deng, Patrick Cousot

Publication date: 19 April 2024

zbMATH Keywords

causalitystatic analysisabstract interpretationresponsibilitydependencyprogram security

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Explaining counterexamples using causality
• An abstract interpretation framework for input data usage
• Provenance as dependency analysis
• Program Slicing
• What causes a system to satisfy a specification?
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis

This page was built for publication: Responsibility analysis by abstract interpretation