• 1
  • 2
  • 5
  • 6
  • 3
  • 4

“School of Computer Science”

Back to Papers Home
Back to Papers of School of Computer Science

Paper   IPM / Computer Science / 10879
School of Computer Science
  Title:   Rebeca: Theory, Applications, and Tools
  Author(s):  M. Sirjani
  Status:   In Proceedings
  Proceeding: FMCO
  Vol.:  4709
  Year:  2007
  Pages:   102-126
  Publisher(s):   LNCS, Springer Berlin / Heidelberg
  Supported by:  IPM
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.

Download TeX format
back to top
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right