Integrating Real Time Into Spin: A Prototype Implementation-Reference-Cited by-同舟云学术

Integrating Real Time Into Spin: A Prototype Implementation

Published:1998 Issue: Volume: Page:423-438
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Bošnački Dragan,Dams Dennis

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35394-4_26

Reference22 articles.

1. Alur, R., Dill, D.L., A Theory of Timed Automata, Theoretical Computer Science, 126, pp. 183–235, 1994.

2. Alur, R., Kurshan, R.P., Timing Analysis in Cospan, Hybrid Systems III, LNCS 1066, pp.220–231, Springer, 1996.

3. Baeten, J. C. M., Bergstra, J. A., Discrete Time Process Algebra, Formal Aspects of Computing 8 (2), pp. 142–148, 1991.

4. Bosnacki, D., Implementing Discrete Time in Promela and Spin, International Conference on Logic in Computer Science, LIRA ‘87, University of Novi Sad, Yugoslavia, 1997. ( Copy also available from the author )

5. Dams, D., Gerth, R., Bounded Retransmission Protocol Revisited, Verification of Infinite Systems Infinity, Bologna, Italy, 1997.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstracting IoT protocols using timed process algebra and SPIN model checker;Cluster Computing;2023-01-16

2. Formal verification of a radio network random access protocol;International Journal of Communication Systems;2017-10-22

3. Using DEv-PROMELA for Modelling and Verification of Software;Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation;2016-05-15

4. Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker;Procedia Computer Science;2016

5. Translating Basic Metric Temporal Logic Formulas into Promela;Lecture Notes in Electrical Engineering;2016