Author:
Rozier Kristin Yvonne,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Dist. Comp. 2, 117–126 (1987)
2. Armoni, R., Egorov, S., Fraer, R., Korchemny, D., Vardi, M.Y.: Efficient LTL compilation for SAT-based model checking. In: ICCAD, pp. 877–884. IEEE (2005)
3. Bryant, R.E.: Symbolic Boolean manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys 24(3), 293–318 (1992)
4. Lecture Notes in Computer Science;M. d’Amorim,2005
5. Dong, Y., Du, X., Holzmann, G.J., Smolka, S.A.: Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT 4(4), 505–528 (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献