Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models-Reference-Cited by-同舟云学术

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models

Published:2023 Issue: Volume: Page:72-87
ISSN:0302-9743
Container-title:Fundamentals of Software Engineering
language:
Short-container-title:

Author:

Khamespanah Ehsan,Sirjani Marjan,Khosravi Ramtin

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-42441-0_6

Reference20 articles.

1. Artificial Intelligence;GA Agha,1990

2. Hewitt, C.: Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. MIT Artificial Intelligence Technical report 258, Department of Computer Science, MIT, April 1972

3. Sirjani, M., Jaghoori, M.M.: Ten years of analyzing actors: Rebeca experience. In: Formal Modeling: Actors, Open Systems, Biological Systems, pp. 20–56 (2011)

4. Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Khamespanah, E., Movaghar, A.: Symmetry and partial order reduction techniques in model checking Rebeca. Acta Inf. 47(1), 33–66 (2010)

5. Sabouri, H., Sirjani, M.: Slicing-based reductions for Rebeca. Electr. Notes Theor. Comput. Sci. 260, 209–224 (2010)

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

1. Formal Verification of Consistency for Systems with Redundant Controllers;Electronic Proceedings in Theoretical Computer Science;2024-03-27

2. Actors Upgraded for Variability, Adaptability, and Determinism;Lecture Notes in Computer Science;2024

3. Timed Actors and Their Formal Verification;Electronic Proceedings in Theoretical Computer Science;2023-09-14