What causes a system to satisfy a specification?

DOI10.1145/1352582.1352588zbMath1367.68185arXivcs/0312036OpenAlexW2130780163MaRDI QIDQ5277809

Joseph Y. Halpern, Orna Kupferman, Hana Chockler

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0312036

zbMATH Keywords

causalitymodel checkingresponsibilitycoverage metrics

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

Probabilistic causes in Markov chains ⋮ Measuring inconsistency with constraints for propositional knowledge bases ⋮ Distant Group Responsibility in Multi-agent Systems ⋮ Responsibility for inconsistency ⋮ On probability-raising causality in Markov decision processes ⋮ Foundations of probability-raising causality in Markov decision processes ⋮ Temporal causality in reactive systems ⋮ Operational causality -- necessarily sufficient and sufficiently necessary ⋮ Causal Kripke Models ⋮ Efficient Automatic STE Refinement Using Responsibility

This page was built for publication: What causes a system to satisfy a specification?