Revision as of 17:38, 31 May 2021 edit BattyBot (talk \| contribs) Bots 1,957,349 edits Moved See also above References per MOS:ORDER and other General fixes Tag: AWB ← Previous edit		Revision as of 09:15, 8 September 2021 edit undo 2a00:23c7:f9a0:b401:19f1:8dcf:7873:f19e (talk) Fixed typo - the language name is spelled with one “c” (like the article title) Tags: Mobile edit Mobile web edit Next edit →
Line 4: }} '''~~Rebecca~~Rebeca''' (acronym for Reactive Objects Language) is an [[Actor model\|actor]]-based [[modeling language]] with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications. It can be considered as a reference model for concurrent computation, based on an operational interpretation of the actor model. It is also a platform for developing object-based concurrent systems in practice. Besides having an appropriate and efficient way for modeling concurrent and distributed systems, one needs a formal verification approach to ensure their correctness. Rebeca is supported by a set of verification tools. Earlier tools provided a front-end to work with Rebeca code, and to translate the Rebeca code into input languages of well-known and mature model checkers (like SPIN and NuSMV) and thus, were able to verify their properties.

Rebeca (programming language): Difference between revisions