Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;E Ábrahám,2018
2. Lecture Notes in Computer Science;C Baier,2021
3. Baier, C., et al.: From verification to causality-based explications. In: ICALP 2021 (2021)
4. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. Formal Methods Syst. Design 40, 20–40 (2012)
5. Buechi, J.R.: On a decision method in restricted second-order arithmetic. In: International Congress on Logic, Methodology, and Philosophy of Science (1962)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Counterfactual Causality for Reachability and Safety based on Distance Functions;Electronic Proceedings in Theoretical Computer Science;2023-09-30
2. Checking and Sketching Causes on Temporal Sequences;Automated Technology for Verification and Analysis;2023
3. Second-Order Hyperproperties;Computer Aided Verification;2023
4. AutoHyper: Explicit-State Model Checking for HyperLTL;Tools and Algorithms for the Construction and Analysis of Systems;2023