Temporal Causality in Reactive Systems

This publication has 21 references indexed in Scilit:

• A General Trace-Based Framework of Logical Causality
  2014
• Causal Termination of Multi-threaded Programs
  Lecture Notes in Computer Science, 2014
• Causality Checking for Complex System Models
  2013
• Explaining counterexamples using causality
  Formal Methods in System Design, 2011
• What causes a system to satisfy a specification?
  ACM Transactions on Computational Logic, 2008
• Error explanation with distance metrics
  International Journal on Software Tools for Technology Transfer, 2005
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
  The British Journal for the Philosophy of Science, 2005
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
  The British Journal for the Philosophy of Science, 2005
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• An Enquiry concerning Human Understanding
  1748