Rebeca is an actor-based language with a formal foundation for modeling concurrent and distributed systems which is designed in an effort to bridge the gap between formal verification approaches and real applications. Rebeca is supported by a tool-set for model checking Rebeca models. Inherent characteristics of Rebeca are used to introduce compositional verification, abstraction, symmetry and partial order reduction techniques for reducing the state space. Simple message-driven object-based computational model, Java-like syntax, and set of verification tools make Rebeca an interesting and easy-to-learn model for practitioners. This paper is to present theories, applications, and supporting tools of Rebeca in a consistent and distilled form. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Sirjani, M. (2007). Rebeca: Theory, applications, and tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4709 LNCS, pp. 102–126). Springer Verlag. https://doi.org/10.1007/978-3-540-74792-5_5
Mendeley helps you to discover research relevant for your work.