Responsibility analysis by abstract interpretation

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

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)

Cites Work

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

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)