Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Accellera Working Group. Property specification language reference manual, version 1.0 (2003), Available at
http://www.eda.org/vfv/docs/psl_lrm-1.0.pdf
2. Amla, N., Emerson, E.A., Namjoshi, K.S.: Efficient decompositional model checking for regular timing diagrams. In: IFIP Conference on Correct Hardware Design and Verification Methods (1999)
3. Amla, N., Emerson, E.A., Namjoshi, K.S., Trefler, R.J.: Visual specifications for modular reasoning about asynchronous systems. In: International Conference on Formal Techniques for Networked and Distributed Systems, pp. 226–242 (2002)
4. Armoni, R., et al.: The ForSpec temporal logic: A new temporal propertyspecification language. In: Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 296–211 (2002)
5. Lecture Notes in Computer Science;R. Bloem,1999