Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Runtime_verification> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Runtime_verification abstract "Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications. Runtime verification specifications are typically expressed in trace predicate formalisms, such as finite state machines, regular expressions, context-free patterns, linear temporal logics, etc., or extensions of these. This allows for a less adhoc approach than normal testing. However, any mechanism for monitoring an executing system is considered runtime verification, including verifying against test oracles and reference implementations. When formal requirements specifications are provided, monitors are synthesized from them and infused within the system by means of instrumentation. Runtime verification can be used for many purposes, such as security or safety policy monitoring, debugging, testing, verification, validation, profiling, fault protection, behavior modification (e.g., recovery), etc. Runtime verification avoids the complexity of traditional formal verification techniques, such as model checking and theorem proving, by analyzing only one or a few execution traces and by working directly with the actual system, thus scaling up relatively well and giving more confidence in the results of the analysis (because it avoids the tedious and error-prone step of formally modelling the system), at the expense of less coverage. Moreover, through its reflective capabilities runtime verification can be made an integral part of the target system, monitoring and guiding its execution during deployment.".
- Runtime_verification wikiPageExternalLink oopsla2005.
- Runtime_verification wikiPageExternalLink contrastsecurity.com.
- Runtime_verification wikiPageExternalLink Collection.html.
- Runtime_verification wikiPageExternalLink ConcurrentModificationException.html.
- Runtime_verification wikiPageExternalLink Enumeration.html.
- Runtime_verification wikiPageExternalLink Iterator.html.
- Runtime_verification wikiPageExternalLink Vector.html.
- Runtime_verification wikiPageExternalLink fsl.cs.uiuc.edu.
- Runtime_verification wikiPageExternalLink MOP.
- Runtime_verification wikiPageExternalLink jMiner.
- Runtime_verification wikiPageExternalLink jPredictor.
- Runtime_verification wikiPageExternalLink lars-lab.jpl.nasa.gov.
- Runtime_verification wikiPageExternalLink runtimeverification.com.
- Runtime_verification wikiPageExternalLink Home.html.
- Runtime_verification wikiPageExternalLink www.aspectbench.org.
- Runtime_verification wikiPageExternalLink sm.html.
- Runtime_verification wikiPageExternalLink earlier.html.
- Runtime_verification wikiPageExternalLink index.html.
- Runtime_verification wikiPageExternalLink svrg.
- Runtime_verification wikiPageExternalLink ?semid=32256.
- Runtime_verification wikiPageExternalLink ?semnr=10451.
- Runtime_verification wikiPageExternalLink Welcome.html.
- Runtime_verification wikiPageExternalLink www.runtime-verification.org.
- Runtime_verification wikiPageExternalLink www.rv2010.org.
- Runtime_verification wikiPageExternalLink www.stg.tu-darmstadt.de.
- Runtime_verification wikiPageExternalLink www.time-rover.com.
- Runtime_verification wikiPageExternalLink www.tismtool.com.
- Runtime_verification wikiPageID "3098816".
- Runtime_verification wikiPageLength "30577".
- Runtime_verification wikiPageOutDegree "13".
- Runtime_verification wikiPageRevisionID "674354652".
- Runtime_verification wikiPageWikiLink Aspect-oriented_Programming.
- Runtime_verification wikiPageWikiLink Aspect-oriented_programming.
- Runtime_verification wikiPageWikiLink AspectJ.
- Runtime_verification wikiPageWikiLink Category:Formal_methods.
- Runtime_verification wikiPageWikiLink Category:Logic_in_computer_science.
- Runtime_verification wikiPageWikiLink Java_(programming_language).
- Runtime_verification wikiPageWikiLink Linear_temporal_logic.
- Runtime_verification wikiPageWikiLink Memory_safety.
- Runtime_verification wikiPageWikiLink File:Hasnext.jpg.
- Runtime_verification wikiPageWikiLink File:Safelockform.jpg.
- Runtime_verification wikiPageWikiLink File:Safelocktrace.jpg.
- Runtime_verification wikiPageWikiLink File:Unsafeenumcode.png.
- Runtime_verification wikiPageWikiLink File:Unsafeenumform.jpg.
- Runtime_verification wikiPageWikiLinkText "Runtime verification".
- Runtime_verification wikiPageWikiLinkText "runtime verification".
- Runtime_verification hasPhotoCollection Runtime_verification.
- Runtime_verification wikiPageUsesTemplate Template:Citation_needed.
- Runtime_verification wikiPageUsesTemplate Template:Reflist.
- Runtime_verification subject Category:Formal_methods.
- Runtime_verification subject Category:Logic_in_computer_science.
- Runtime_verification hypernym Analysis.
- Runtime_verification type Area.
- Runtime_verification type Article.
- Runtime_verification type Work.
- Runtime_verification type Area.
- Runtime_verification type Article.
- Runtime_verification type Method.
- Runtime_verification comment "Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.".
- Runtime_verification label "Runtime verification".
- Runtime_verification sameAs m.08r9wz.
- Runtime_verification sameAs Q7380130.
- Runtime_verification sameAs Q7380130.
- Runtime_verification wasDerivedFrom Runtime_verification?oldid=674354652.
- Runtime_verification isPrimaryTopicOf Runtime_verification.