Author:
Fey Görschwin,Drechsler Rolf
Publisher
Springer International Publishing
Reference37 articles.
1. Basu, P., Das, S., Banerjee, A., Dasgupta, P., Chakrabarti, P., Mohan, C., Fix, L., Armoni, R.: Design-intent coverage: a new paradigm for formal property verification. IEEE Trans. CAD 25(10), 1922–1934 (2006)
2. Bormann, J.: Complete Functional Verification. Ph.D. Thesis, University of Kaiserslautern (2009). English translation 2017
3. Chan, W.: Temporal-logic queries. In: Computer Aided Verification. Lecture Notes in Computer Science, vol. 1855, pp. 450–463 (2000)
4. Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. In: Symposium on Principles of Programming Languages, pp. 342–354 (1992)
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge, MA (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Self-Explanation as a Basis for Self-Integration - The Autonomous Passenger Ferry Scenario;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25
2. A Framework for Self-Explaining Systems in the Context of Intensive Care;2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2021-09