THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Định dạng | |
|---|---|
| Số trang | 73 |
| Dung lượng | 1,05 MB |
Nội dung
Ngày đăng: 25/03/2015, 09:46
Nguồn tham khảo
| Tài liệu tham khảo | Loại | Chi tiết |
|---|---|---|
| 11. Theo C. Ruys, Advanced SPIN Tutorial http://www.cs.utwente.nl/~ruys 12. Theo C. Ruys, SPIN Beginners’ Tutorial http://www.cs.utwente.nl/~ruys | Link | |
| 14. F. Vaandrager, Two Simple Communication Protocols, in Baeten, J.C.M., ed., Ap- plications of Process Algebra, pp.23-44,Cambridge University Press, 1990.15. http://spinroot.com | Link | |
| 1. R. Alur, D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science, 126, pp.183-235, 1994 | Khác | |
| 2. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991 | Khác | |
| 3. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414-425, Philadelphia, June 1990 | Khác | |
| 4. R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In RTSS 1992, proceedings, 1992 | Khác | |
| 5. D. Bosnacki, Implementing Discrete Time in Promela and Spin, International Con- ference on Logic in Computer Science, LIRA '97, University of Novi Sad, Yu- goslavia, 1997. (Copy also available from the author) (4 DTSpin) | Khác | |
| 6. D. Bosnacki, Integrating Real Time into Spin: A Prototype Implementation | Khác | |
| 7. D. Bosnacki, Partial Order Reduction for Region Automata (abstract), Proceed- ings of the 11th Nordic Workshop on Programming Theory NWPT'99, Uppsala, Sweden, October 1999 | Khác | |
| 8. E. M. Clarke, Orna Grumberg and Doron A. Peled. Model Checking. MIT Press, 1999, ISBN 0-262-03270-8 | Khác | |
| 9. Gerard Holzmann. The Spin Model Checker. Primer and Reference Manual. Addison Wesley, 2003 | Khác | |
| 10. Dang Van Hung, Model-Checking and the Spin Modelchecker, The United Nations University, International Institute for Software Technology | Khác | |
| 13. S. Tripakis, C. Courcoubetis, Extending Promela and Spin for Real Time,TACAS '96, LCNS 1055, Springer Verlag, 1996 | Khác |
TỪ KHÓA LIÊN QUAN
TRÍCH ĐOẠN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN