Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Rebeca_Modeling_Language> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Rebeca_Modeling_Language abstract "Rebeca (acronym for Reactive Objects Language) is an 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, since 2005, is supported by a direct model checker based on Modere (the Model checking Engine of Rebeca).Modular verification and abstraction techniques are used to reduce the state space and make it possible to verify complicated reactive systems.Besides these techniques, Modere supports partial order reduction and symmetry reduction.".
- Rebeca_Modeling_Language wikiPageExternalLink FML.
- Rebeca_Modeling_Language wikiPageExternalLink SirjaniThesis.pdf.
- Rebeca_Modeling_Language wikiPageExternalLink www.rebeca-lang.org.
- Rebeca_Modeling_Language wikiPageID "5999175".
- Rebeca_Modeling_Language wikiPageLength "2010".
- Rebeca_Modeling_Language wikiPageOutDegree "8".
- Rebeca_Modeling_Language wikiPageRevisionID "528812893".
- Rebeca_Modeling_Language wikiPageWikiLink Actor_model.
- Rebeca_Modeling_Language wikiPageWikiLink Category:Logic_programming_languages.
- Rebeca_Modeling_Language wikiPageWikiLink Formal_methods.
- Rebeca_Modeling_Language wikiPageWikiLink Model_checking.
- Rebeca_Modeling_Language wikiPageWikiLink Modeling_language.
- Rebeca_Modeling_Language wikiPageWikiLink SPIN_model_checker.
- Rebeca_Modeling_Language wikiPageWikiLink Software_engineering.
- Rebeca_Modeling_Language wikiPageWikiLinkText "Rebeca Modeling Language".
- Rebeca_Modeling_Language wikiPageUsesTemplate Template:Compu-lang-stub.
- Rebeca_Modeling_Language subject Category:Logic_programming_languages.
- Rebeca_Modeling_Language hypernym Language.
- Rebeca_Modeling_Language type Language.
- Rebeca_Modeling_Language type ProgrammingLanguage.
- Rebeca_Modeling_Language type Language.
- Rebeca_Modeling_Language type Thing.
- Rebeca_Modeling_Language type Q315.
- Rebeca_Modeling_Language type Q34770.
- Rebeca_Modeling_Language type Q9143.
- Rebeca_Modeling_Language comment "Rebeca (acronym for Reactive Objects Language) is an 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.".
- Rebeca_Modeling_Language label "Rebeca Modeling Language".
- Rebeca_Modeling_Language sameAs Q7301633.
- Rebeca_Modeling_Language sameAs Rebeca_(Informatik).
- Rebeca_Modeling_Language sameAs m.0fjxd1.
- Rebeca_Modeling_Language sameAs Q7301633.
- Rebeca_Modeling_Language wasDerivedFrom Rebeca_Modeling_Language?oldid=528812893.
- Rebeca_Modeling_Language isPrimaryTopicOf Rebeca_Modeling_Language.