This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://github.com/umangm/
n9https://global.dbpedia.org/id/
n10https://runtimeverification.com/predict/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17https://github.com/parasol-aser/
n14https://github.com/stephenfreund/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Grigore_Roșu
dbo:wikiPageWikiLink
dbr:Runtime_predictive_analysis
Subject Item
dbr:Runtime_predictive_analysis
rdfs:label
Runtime predictive analysis
rdfs:comment
Runtime predictive analysis (or predictive analysis) is a runtime verification technique in computer science for detecting property violations in program executions inferred from an observed execution. An important class of predictive analysis methods has been developed for detecting concurrency errors (such as data races) in concurrent programs, where a runtime monitor is used to predict errors which did not happen in the observed run, but can happen in an alternative execution of the same program. The predictive capability comes from the fact that the analysis is performed on an abstract model extracted online from the observed execution, which admits a class of executions beyond the observed one.
dcterms:subject
dbc:Software_testing
dbo:wikiPageID
63138221
dbo:wikiPageRevisionID
1053341279
dbo:wikiPageWikiLink
dbr:NP-complete dbr:Thread_(computing) dbr:Dangling_pointer dbr:Computer_program dbr:Dynamic_program_analysis dbr:Race_condition dbr:Atomicity_(programming) dbc:Software_testing dbr:Runtime_verification dbr:Computer_science dbr:Happened-before dbr:Concurrency_(computer_science) dbr:Parameterized_complexity dbr:Deadlock dbr:Model_checking
dbo:wikiPageExternalLink
n4:rapid n10: n14:RoadRunner n17:UFO
owl:sameAs
wikidata:Q96403130 n9:BxFHW
dbp:wikiPageUsesTemplate
dbt:Cite_web dbt:Reflist
dbo:abstract
Runtime predictive analysis (or predictive analysis) is a runtime verification technique in computer science for detecting property violations in program executions inferred from an observed execution. An important class of predictive analysis methods has been developed for detecting concurrency errors (such as data races) in concurrent programs, where a runtime monitor is used to predict errors which did not happen in the observed run, but can happen in an alternative execution of the same program. The predictive capability comes from the fact that the analysis is performed on an abstract model extracted online from the observed execution, which admits a class of executions beyond the observed one.
prov:wasDerivedFrom
wikipedia-en:Runtime_predictive_analysis?oldid=1053341279&ns=0
dbo:wikiPageLength
12893
foaf:isPrimaryTopicOf
wikipedia-en:Runtime_predictive_analysis
Subject Item
wikipedia-en:Runtime_predictive_analysis
foaf:primaryTopic
dbr:Runtime_predictive_analysis