Author:
Yang Qiusong,Zhang Bei,Zhai Jian,Li Mingshu
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Zuck, L.D., Pnueli, A.: Model checking and abstraction to the aid of parameterized systems (a survey). Computer Languages, Systems & Structures 30(3-4), 139–169 (2004)
2. Apt, K.R., Kozen, D.C.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307–309 (1986)
3. German, S.M., Sistla, A.P.: Reasoning about systems with many processes. J. ACM 39(3), 675–735 (1992)
4. Emerson, E.A., Namjoshi, K.S.: On model checking for non-deterministic infinite-state systems. In: Logic in Computer Science, pp. 70–80 (1998)
5. Esparza, J., Finkel, A., Mayr, R.: On the verification of broadcast protocols. In: LICS 1999: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, p. 352. IEEE Computer Society, Washington, DC (1999)