References

  1. Christel Baier & Joost-Pieter Katoen (2008): Principles of model checking. MIT Press.
  2. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni & Richard J. Trefler (2009): Explaining Counterexamples Using Causality. In: Ahmed Bouajjani & Oded Maler: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, Lecture Notes in Computer Science 5643. Springer, pp. 94–108. Available at https://doi.org/10.1007/978-3-642-02658-4_11.
  3. Vincent Bloemen, Alfons Laarman & Jaco van de Pol (2016): Multi-core on-the-fly SCC decomposition. In: Rafael Asenjo & Tim Harris: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016. ACM, pp. 8:1–8:12. Available at http://doi.acm.org/10.1145/2851141.2851161.
  4. Vincent Bloemen & Jaco van de Pol (2016): Multi-core SCC-Based LTL Model Checking. In: Roderick Bloem & Eli Arbel: Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Lecture Notes in Computer Science 10028, pp. 18–33. Available at https://doi.org/10.1007/978-3-319-49052-6_2.
  5. Georgiana Caltais, Stefan Leue & Mohammad Reza Mousavi (2016): (De-)Composing Causality in Labeled Transition Systems. In: Gregor Gößler & Oleg Sokolsky: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016., EPTCS 224, pp. 10–24. Available at https://doi.org/10.4204/EPTCS.224.3.
  6. Edmund M. Clarke & Helmut Veith (2003): Counterexamples Revisited: Principles, Algorithms, Applications. In: Nachum Dershowitz: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Lecture Notes in Computer Science 2772. Springer, pp. 208–224. Available at https://doi.org/10.1007/978-3-540-39910-0_9.
  7. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper & Mihalis Yannakakis (1992): Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3), pp. 275–288. Available at https://doi.org/10.1007/BF00121128.
  8. Jean-Michel Couvreur, Alexandre Duret-Lutz & Denis Poitrenaud (2005): On-the-Fly Emptiness Checks for Generalized Büchi Automata. In: Patrice Godefroid: Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, Lecture Notes in Computer Science 3639. Springer, pp. 169–184. Available at https://doi.org/10.1007/11537328_15.
  9. Gregor Goessler & Lacramioara Astefanoaei (2014): Blaming in component-based real-time systems. In: Tulika Mitra & Jan Reineke: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. ACM, pp. 7:1–7:10. Available at http://doi.acm.org/10.1145/2656045.2656048.
  10. Gregor Gößler, Daniel Le Métayer & Jean-Baptiste Raclet (2010): Causality Analysis in Contract Violation. In: Runtime Verification - First International Conference, RV 2010, Lecture Notes in Computer Science 6418. Springer, pp. 270–284. Available at http://dx.doi.org/10.1007/978-3-642-16612-9_21.
  11. Gregor Gößler & Daniel Le Métayer (2015): A general framework for blaming in component-based systems. Sci. Comput. Program. 113, pp. 223–235. Available at https://doi.org/10.1016/j.scico.2015.06.010.
  12. Gregor Gößler & Jean-Bernard Stefani (2016): Fault Ascription in Concurrent Systems. In: Trustworthy Global Computing - 10th International Symposium, TGC, Lecture Notes in Computer Science 9533. Springer, pp. 79–94. Available at http://dx.doi.org/10.1007/978-3-319-28766-9.
  13. Nicolas Halbwachs & Lenore D. Zuck (2005): Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3440. Springer. Available at https://doi.org/10.1007/b107194.
  14. Joseph Y. Halpern (2015): A Modification of the Halpern-Pearl Definition of Causality. In: Qiang Yang & Michael Wooldridge: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. AAAI Press, pp. 3022–3033. Available at http://ijcai.org/Abstract/15/427.
  15. Joseph Y. Halpern & Judea Pearl (2002): Causes and Explanations: A Structural-Model Approach. Part II: Explanations. CoRR cs.AI/0208034. Available at http://arxiv.org/abs/cs.AI/0208034.
  16. Michael Huth & Mark Dermot Ryan (2004): Logic in computer science - modelling and reasoning about systems (2. ed.). Cambridge University Press. Available at https://doi.org/10.1017/CBO9780511810275.
  17. Tsutomu Kumazawa & Tetsuo Tamai (2011): Counterexample-Based Error Localization of Behavior Models. In: Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann & Rajeev Joshi: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, Lecture Notes in Computer Science 6617. Springer, pp. 222–236. Available at https://doi.org/10.1007/978-3-642-20398-5_17.
  18. Florian Leitner-Fischer & Stefan Leue (2011): QuantUM: Quantitative Safety Analysis of UML Models. In: Mieke Massink & Gethin Norman: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011., EPTCS 57, pp. 16–30. Available at https://doi.org/10.4204/EPTCS.57.2.
  19. Florian Leitner-Fischer & Stefan Leue (2013): Causality Checking for Complex System Models. In: Roberto Giacobazzi, Josh Berdine & Isabella Mastroeni: Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Lecture Notes in Computer Science 7737. Springer, pp. 248–267. Available at https://doi.org/10.1007/978-3-642-35873-9_16.
  20. Florian Leitner-Fischer & Stefan Leue (2013): Probabilistic fault tree synthesis using causality computation. IJCCBS 4(2), pp. 119–143. Available at https://doi.org/10.1504/IJCCBS.2013.056492.
  21. OMG (2007): OMG Systems Modeling Language (OMG SysML™), V1.0. Technical Report. Object Management Group. Available at http://www.omg.org/spec/SysML/1.0/PDF.
  22. Doron A. Peled (2001): Software Reliability Methods. Texts in Computer Science. Springer, doi:10.1007/978-1-4757-3540-6. Available at http://u.cs.biu.ac.il/~doronp/srm.html.
  23. Viktor Schuppan & Armin Biere (2005): Shortest Counterexamples for Symbolic Model Checking of LTL with Past. In: Halbwachs & Zuck, pp. 493–509. Available at https://doi.org/10.1007/978-3-540-31980-1_32.
  24. Stefan Schwoon & Javier Esparza (2005): A Note on On-the-Fly Verification Algorithms. In: Halbwachs & Zuck, pp. 174–190. Available at https://doi.org/10.1007/978-3-540-31980-1_12.
  25. Pierre Wolper (1983): Temporal Logic Can Be More Expressive. Information and Control 56(1/2), pp. 72–99. Available at https://doi.org/10.1016/S0019-9958(83)80051-5.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org