Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Promela> ?p ?o }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Promela abstract "PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be defined to be synchronous (i.e., rendezvous), or asynchronous (i.e., buffered). PROMELA models can be analyzed with the SPIN model checker, to verify that the modeled system produces the desired behavior.".
- Promela wikiPageExternalLink latest.
- Promela wikiPageExternalLink spin.
- Promela wikiPageExternalLink Quick.html.
- Promela wikiPageExternalLink index.html.
- Promela wikiPageExternalLink promelamodels.
- Promela wikiPageExternalLink node168.html.
- Promela wikiPageExternalLink promela.zip.
- Promela wikiPageExternalLink SpinR.
- Promela wikiPageID "9733137".
- Promela wikiPageLength "14570".
- Promela wikiPageOutDegree "17".
- Promela wikiPageRevisionID "679126311".
- Promela wikiPageWikiLink C_(programming_language).
- Promela wikiPageWikiLink Category:Model_checkers.
- Promela wikiPageWikiLink Category:Specification_languages.
- Promela wikiPageWikiLink Concurrency_(computer_science).
- Promela wikiPageWikiLink Distributed_computing.
- Promela wikiPageWikiLink Distributed_system.
- Promela wikiPageWikiLink Formal_verification.
- Promela wikiPageWikiLink Gerard_J._Holzmann.
- Promela wikiPageWikiLink Guard_(computer_science).
- Promela wikiPageWikiLink Guard_(computing).
- Promela wikiPageWikiLink Language_construct.
- Promela wikiPageWikiLink Modeling_language.
- Promela wikiPageWikiLink Nondeterministic_algorithm.
- Promela wikiPageWikiLink Occam_(programming_language).
- Promela wikiPageWikiLink Randomness.
- Promela wikiPageWikiLink SPIN_model_checker.
- Promela wikiPageWikiLinkText "Promela".
- Promela hasPhotoCollection Promela.
- Promela wikiPageUsesTemplate Template:Columns-list.
- Promela wikiPageUsesTemplate Template:One_source.
- Promela subject Category:Model_checkers.
- Promela subject Category:Specification_languages.
- Promela hypernym Language.
- Promela type Language.
- Promela type Language.
- Promela type Tool.
- Promela comment "PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be defined to be synchronous (i.e., rendezvous), or asynchronous (i.e., buffered). PROMELA models can be analyzed with the SPIN model checker, to verify that the modeled system produces the desired behavior.".
- Promela label "Promela".
- Promela sameAs PROMELA.
- Promela sameAs PROMELA.
- Promela sameAs PROMELA.
- Promela sameAs m.02pqjzd.
- Promela sameAs Q948666.
- Promela sameAs Q948666.
- Promela wasDerivedFrom Promela?oldid=679126311.
- Promela isPrimaryTopicOf Promela.