Author:
Wang Farn,Huang Geng-Dian
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. In: IEEE LICS (1990)
2. Bening, L., Foster, H.: Principles of Verifiable RTL Design: a Functional Coding Style Supporting Verification Processes in Verilog, 2nd edn. Kluwer Academic Publishers, Dordrecht (2001)
3. Lecture Notes in Computer Science;G. Behrmann,2001
4. Bochmann, G.V., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994)
5. Lecture Notes in Computer Science;E. Clarke,1982