Rebeca: Theory, applications, and tools

29Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free