Author:
Bozga Marius,Fernandez Jean-Claude,Ghirvu Lucian,Graf Susanne,Krimm Jean-Pierre,Mounier Laurent
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Telelogic AB. SDT Reference Manual. http://www.telelogic.se/solution/tools/sdt.asp , 1993.
2. R. Alur, C. Courcoubetis, and D.L. Dill. Model Checking in Dense Real Time. Information and Computation, 104(1), 1993.
3. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. ISDN, 14(1), jan 1988.
4. D. Boŝnaĉki and D. Dams. Integrating Real Time into Spin: A Prototype Implementation. In Proceedings of the FORTE/PSTV XVIII Conference, 1998.
5. D. Boŝnaĉki, D. Dams, L. Holenderski, and N. Sidorova. Verifying the MASCARA Protocol in SPIN. submitted to the SPIN’99 Workshop, mai 1999.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Language Agnostic Model Checking for SDL;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Online Timed Pattern Matching Using Automata;Lecture Notes in Computer Science;2018
3. Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard;Electronic Proceedings in Theoretical Computer Science;2015-11-08
4. CADP 2011: a toolbox for the construction and analysis of distributed processes;International Journal on Software Tools for Technology Transfer;2012-06-30
5. Actor-based slicing techniques for efficient reduction of Rebeca models;Science of Computer Programming;2010-10