Design and Verification of Systems with Exogenous Coordination Using Vereofy-Reference-Cited by-同舟云学术

Design and Verification of Systems with Exogenous Coordination Using Vereofy

Published:2010 Issue: Volume: Page:97-111
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baier Christel,Blechmann Tobias,Klein Joachim,Klüppelholz Sascha,Leister Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16561-0_15

Reference23 articles.

1. Alur, R., de Alfaro, L., Grosu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F.Y.C., Wang, B.-Y.: Jmocha: A model checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE), pp. 835–836. IEEE Computer Society, Los Alamitos (2001)

2. Arbab, F.: Reo: A Channel-Based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

3. Lecture Notes in Computer Science;C. Baier,2009

4. Lecture Notes in Computer Science;C. Baier,2009

5. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling Component Connectors in Reo by Constraint Automata. Science of Computer Programming 61, 75–113 (2006)

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

1. Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components;Lecture Notes in Computer Science;2024

2. Towards Exogenous Coordination of Concurrent Cloud Applications;International Journal of Software Engineering and Knowledge Engineering;2023-10-05

3. Formal Modeling and Verification of Timed Connectors in IoT with Z3;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24

4. From symbolic constraint automata to Promela;Journal of Logical and Algebraic Methods in Programming;2022-08

5. Soft component automata: Composition, compilation, logic, and verification;Science of Computer Programming;2019-09