About: Runtime predictive analysis

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://runtimeverification.com/predict/ https://github.com/parasol-aser/UFO https://github.com/stephenfreund/RoadRunner https://github.com/umangm/rapid
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Parameterized_complexity dbr:Deadlock dbr:Thread_(computing) dbr:Concurrency_(computer_science) dbr:Race_condition dbc:Software_testing dbr:Runtime_verification dbr:Computer_science dbr:Computer_program dbr:Happened-before dbr:Dangling_pointer dbr:Dynamic_program_analysis dbr:NP-complete dbr:Atomicity_(programming)
dbp:wikiPageUsesTemplate	dbt:Cite_web dbt:Reflist
dct:subject	dbc:Software_testing
rdfs:label	Runtime predictive analysis (en)
owl:sameAs	wikidata:Runtime predictive analysis dbpedia-global:Runtime predictive analysis
prov:wasDerivedFrom	wikipedia-en:Runtime_predictive_analysis?oldid=1241387946&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Runtime_predictive_analysis
is dbo:wikiPageWikiLink of	dbr:Grigore_Roșu
is foaf:primaryTopic of	wikipedia-en:Runtime_predictive_analysis

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International