Erratum for “What causes a system to satisfy a specification?”

DOI10.1145/1805950.1805959zbMATH Open1370.68197OpenAlexW2075382334MaRDI QIDQ2946617

Orna Kupferman, Hana Chockler, Joseph Y. Halpern

Publication date: 17 September 2015

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

Full work available at URL: https://doi.org/10.1145/1805950.1805959

Mathematics Subject Classification ID

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

Related Items (3)

What causes a system to satisfy a specification? ⋮ Explaining counterexamples using causality ⋮ Causes and explanations in the structural-model approach: Tractable cases

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

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