Responsibility analysis by abstract interpretation

DOI10.1007/978-3-030-32304-2_18MaRDI QIDQ6536296zbMATHFDO

Authors Chaoqiang Deng, Patrick Cousot

Publication date 19 April 2024

zbMATH Keywords

causalityabstract interpretationstatic analysisresponsibilitydependencyprogram security

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2243367
• A Logic-Based Analysis of Responsibility
• Actual causality
• Causality analysis and fault ascription in component-based systems
• Abstract semantic dependency

Cites work

• scientific article; zbMATH DE number 2080066 (Why is no real title available?)
• scientific article; zbMATH DE number 5497551 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• An abstract interpretation framework for input data usage
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Explaining counterexamples using causality
• Program Slicing
• Provenance as dependency analysis
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• What causes a system to satisfy a specification?

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

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