About: Runtime verification

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

Extraction of information from a running system to verify certain properties

Property	Value
dbo:description	extraction of information from a running system to verify certain properties (en) extracció d'informació d'un sistema en execució per verificar certes propietats (ca)
dbo:thumbnail	wiki-commons:Special:FilePath/Runtime_Verification_Monitor.svg?width=300
dbo:wikiPageExternalLink	http://download.oracle.com/javase/6/docs/api/java/util/Collection.html http://download.oracle.com/javase/6/docs/api/java/util/ConcurrentModificationException.html http://download.oracle.com/javase/6/docs/api/java/util/Enumeration.html http://download.oracle.com/javase/6/docs/api/java/util/Iterator.html http://download.oracle.com/javase/6/docs/api/java/util/Vector.html
dbo:wikiPageWikiLink	dbr:AspectJ dbr:Model_checking dbr:File:Hasnext.jpg dbr:File:Runtime_Verification_Monitor.svg dbr:File:Safelocktrace.jpg dbr:File:Unsafeenumcode.png dbr:Profiling_(computer_programming) dbr:Context-free_language dbr:Formal_specification dbr:Büchi_automaton dbc:Formal_methods dbr:Deadlock dbr:Linear_temporal_logic_to_Büchi_automaton dbc:Logic_in_computer_science dbr:Java_(programming_language) dbr:Formal_language dbr:Static_program_analysis dbr:Vector_clock dbr:Race_condition dbr:Program_transformation dbr:Finite-state_machine dbr:Runtime_verification dbr:Regular_expression dbr:Software_testing dbr:Memory_safety dbr:Log_analysis dbr:Formal_verification dbr:Dynamic_program_analysis dbr:Runtime_error_detection dbr:Linear_temporal_logic dbr:Fault-tolerant_system dbr:Runtime_application_self-protection dbr:Dynamic_typing dbr:Automata dbr:Grigore_Rosu dbr:Finite_state_machine dbr:Aspect-oriented_Programming
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation_needed
dct:subject	dbc:Formal_methods dbc:Logic_in_computer_science
gold:hypernym	dbr:Analysis
rdfs:label	Runtime verification (en)
owl:sameAs	freebase:Runtime verification yago-res:Runtime verification wikidata:Runtime verification dbpedia-global:Runtime verification
prov:wasDerivedFrom	wikipedia-en:Runtime_verification?oldid=1264121473&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Hasnext.jpg wiki-commons:Special:FilePath/Runtime_Verification_Monitor.svg wiki-commons:Special:FilePath/Safelocktrace.jpg wiki-commons:Special:FilePath/Unsafeenumcode.png
foaf:isPrimaryTopicOf	wikipedia-en:Runtime_verification
is dbo:academicDiscipline of	dbr:Doron_A._Peled
is dbo:institution of	dbr:Grigore_Roșu
is dbo:knownFor of	dbr:Grigore_Roșu
is dbo:wikiPageDisambiguates of	dbr:Verification
is dbo:wikiPageRedirects of	dbr:Runtime_validation
is dbo:wikiPageWikiLink of	dbr:Profiling_(computer_programming) dbr:Typestate_analysis dbr:Program_analysis dbr:List_of_tools_for_static_code_analysis dbr:Event_monitoring dbr:Runtime_verification dbr:Java_performance dbr:Software_testing dbr:Verification dbr:Formal_verification dbr:Dynamic_program_analysis dbr:Runtime_error_detection dbr:Insup_Lee dbr:Design_marker dbr:Grigore_Roșu dbr:Dynamic_software_updating dbr:Software_verification dbr:Doron_A._Peled dbr:Runtime_predictive_analysis dbr:Runtime_application_self-protection dbr:Runtime_validation
is dbp:field of	dbr:Doron_A._Peled
is dbp:knownFor of	dbr:Grigore_Roșu
is foaf:primaryTopic of	wikipedia-en:Runtime_verification