About: Promela

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Verification modeling language

Property	Value
dbo:description	Spezifikationssprache (de) lenguaje de verificación de modelos (es) verification modeling language (en)
dbo:wikiPageExternalLink	http://spinroot.com/spin/Man/Quick.html http://spinroot.com/spin/Man/index.html http://spinroot.com
dbo:wikiPageWikiLink	dbr:File_extension dbr:Gerard_J._Holzmann dbr:SPIN_model_checker dbr:Typedef dbr:C_(programming_language) dbc:Specification_languages dbc:Model_checkers dbr:Formal_verification dbr:Temporal_logic dbr:Concurrency_(computer_science) dbr:Occam_(programming_language) dbr:Randomness dbr:Modeling_language dbr:Nondeterministic_algorithm dbr:Language_construct dbr:Guard_(computing) dbr:Distributed_system dbr:Isabelle/HOL dbr:Computer_Aided_Verification_of_Automata
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Columns-list dbt:Mono dbt:One_source dbt:Reflist dbt:Tt dbt:Use_dmy_dates
dct:subject	dbc:Specification_languages dbc:Model_checkers
gold:hypernym	dbr:Language
rdfs:label	Promela (en) PROMELA (fr) PROMELA (de) PROMELA (it) 프로멜라 (ko)
owl:sameAs	freebase:Promela yago-res:Promela wikidata:Promela dbpedia-de:Promela dbpedia-it:Promela dbpedia-fr:Promela dbpedia-ko:Promela dbpedia-global:Promela
prov:wasDerivedFrom	wikipedia-en:Promela?oldid=1309692067&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Promela
is dbo:wikiPageWikiLink of	dbr:Gerard_J._Holzmann dbr:SPIN_model_checker dbr:Guarded_Command_Language dbr:Modeling_language dbr:Guard_(computer_science) dbr:List_of_model_checking_tools dbr:List_of_programming_languages
is foaf:primaryTopic of	wikipedia-en:Promela