嵌入式系统设计的验证与调试技术 教学课件 作者 978 7 302 23072 4 嵌入式系统设计的验证与调试技术——参考文献.pdfVIP

Bibliography [1] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994. [2] J. Akella and K. McMillan. Synthesizing converters between finite state protocols. In International Conference on Computer Design, 1991. [3] R. Alur and M. Yannakakis. Model checking of message sequence charts. In International Conference on Concurrency Theory (CONCUR), 1999. [4] T. Ball, et al. Thorough static analysis of device drivers. In EuroSys, 2006. [5] D. Burger and T. Austin. The SimpleScalar Tool Set, Version 2.0. Technical Report CS-TR-1997-1342, University of Wisconsin, Madison, June 1997. [6] A. Biere, E. M. Clarke, R. Raimi, and Y. Zhu. Verifying properties of a PowerPC microprocessor using symbolic model checking without BDDs. In Computer Aided Verification (CAV), 1999. [7] D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar. The Software Model Checker BLAST: Applications to Software Engineering. International Journal on Software Tools for Technology Transfer, 2007. [8] M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, and A. Prestchner. Model-Based Testing of Reactive Systems. Springer, 2005. [9] T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani.Automatic predicate abstraction of C programs. In International Conference on Programming Language Design and Implementation (PLDI), 2001. [10] G. Borriello. A New Interface Specification Methodology and its Applications to Transducer Synthesis. PhD thesis, University of California, Berkeley, 1988. [11] D. Brylow and J. Palsberg. Deadline analysis of interrupt-driven software. In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), held jointly with European Software Engineering Conference