152
J. Bend´ ık and I. ˇ
Cern´ a
19. Elaheh Ghassabani, Andrew Gacek, and Michael W. Whalen. Efficient generation
of inductive validity cores for safety properties. In SIGSOFT FSE, pages 314–325.
ACM, 2016.
20. Elaheh Ghassabani, Michael W. Whalen, and Andrew Gacek. Efficient generation
of all minimal inductive validity cores. In FMCAD, pages 31–38. IEEE, 2017.
21. Benjamin Han and Shie-Jue Lee. Deriving minimal conflict sets by cs-trees with
mark set in diagnosis from first principles. IEEE Trans. Systems, Man, and Cybernetics, Part B, 29(2):281–286, 1999.
22. Mark H. Liffiton, Alessandro Previti, Ammar Malik, and Jo˜ ao Marques-Silva. Fast,
flexible MUS enumeration. Constraints, pages 1–28, 2015.
23. Kenneth L. McMillan and Nina Amla. Automatic abstraction without counterexamples. In TACAS, volume 2619 of LNCS, pages 2–17. Springer, 2003.
24. Alexander Nadel, Vadim Ryvchin, and Ofer Strichman. Accelerated deletion-based
extraction of minimal unsatisfiable cores. JSAT, 9:27–51, 2014.
25. Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, and Mooly Sagiv.
Core-guided minimal correction set and core enumeration. In IJCAI, pages 1353–
1361. ijcai.org, 2018.
26. AMASS project partners. Project AMASS (Architecture-driven, Multi-concern
and Seamless Assurance and Certification of Cyber-Physical Systems). https://
amass-ecsel.eu/. [Online; Accessed: 2019-22-10].
27. AMASS project partners. Project AMASS, deliverable D3.6: Prototype for
Architecture-Driven Assurance (c). https://amass-ecsel.eu/content/deliverables.
[Online; Accessed: 2019-22-10].
28. Emanuel Sperner. Ein satz ¨
uber untermengen einer endlichen menge. Mathematische Zeitschrift, 27(1):544–548, 1928.
29. Roni Tzvi Stern, Meir Kalech, Alexander Feldman, and Gregory M. Provan. Exploring the duality in conflict-directed model-based diagnosis. In AAAI. AAAI
Press, 2012.
30. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Interactive type debugging
in haskell. In Haskell, pages 72–83. ACM, 2003.
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.
J. Bend´ ık and I. ˇ
Cern´ a
19. Elaheh Ghassabani, Andrew Gacek, and Michael W. Whalen. Efficient generation
of inductive validity cores for safety properties. In SIGSOFT FSE, pages 314–325.
ACM, 2016.
20. Elaheh Ghassabani, Michael W. Whalen, and Andrew Gacek. Efficient generation
of all minimal inductive validity cores. In FMCAD, pages 31–38. IEEE, 2017.
21. Benjamin Han and Shie-Jue Lee. Deriving minimal conflict sets by cs-trees with
mark set in diagnosis from first principles. IEEE Trans. Systems, Man, and Cybernetics, Part B, 29(2):281–286, 1999.
22. Mark H. Liffiton, Alessandro Previti, Ammar Malik, and Jo˜ ao Marques-Silva. Fast,
flexible MUS enumeration. Constraints, pages 1–28, 2015.
23. Kenneth L. McMillan and Nina Amla. Automatic abstraction without counterexamples. In TACAS, volume 2619 of LNCS, pages 2–17. Springer, 2003.
24. Alexander Nadel, Vadim Ryvchin, and Ofer Strichman. Accelerated deletion-based
extraction of minimal unsatisfiable cores. JSAT, 9:27–51, 2014.
25. Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, and Mooly Sagiv.
Core-guided minimal correction set and core enumeration. In IJCAI, pages 1353–
1361. ijcai.org, 2018.
26. AMASS project partners. Project AMASS (Architecture-driven, Multi-concern
and Seamless Assurance and Certification of Cyber-Physical Systems). https://
amass-ecsel.eu/. [Online; Accessed: 2019-22-10].
27. AMASS project partners. Project AMASS, deliverable D3.6: Prototype for
Architecture-Driven Assurance (c). https://amass-ecsel.eu/content/deliverables.
[Online; Accessed: 2019-22-10].
28. Emanuel Sperner. Ein satz ¨
uber untermengen einer endlichen menge. Mathematische Zeitschrift, 27(1):544–548, 1928.
29. Roni Tzvi Stern, Meir Kalech, Alexander Feldman, and Gregory M. Provan. Exploring the duality in conflict-directed model-based diagnosis. In AAAI. AAAI
Press, 2012.
30. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Interactive type debugging
in haskell. In Haskell, pages 72–83. ACM, 2003.
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium
or format, as long as you give appropriate credit to the original author(s) and the
source, provide a link to the Creative Commons license and indicate if changes were
made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.