Content deleted Content added
Fixed typo - the language name is spelled with one “c” (like the article title) Tags: Mobile edit Mobile web edit |
backwards copyvio; site made in 2017. |
||
| (4 intermediate revisions by 2 users not shown) | |||
Line 4:
}}
'''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 computing|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.
Line 24:
* [http://ece.ut.ac.ir/FML/ Formal Methods Laboratory, University of Tehran]
[[Category:
| |||