Matches in SemOpenAlex for { <https://semopenalex.org/work/W2883565738> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2883565738 abstract "We present RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. Specifications are given as formulas in the temporal logic HyperLTL, which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. RVHyper processes execution traces sequentially until a violation of the specification is detected. In this case, a counter example, in the form of a set of traces, is returned. As an example application, we show how RVHyper can be used to detect spurious dependencies in hardware designs." @default.
- W2883565738 created "2018-08-03" @default.
- W2883565738 creator A5012221975 @default.
- W2883565738 creator A5048189898 @default.
- W2883565738 creator A5059827972 @default.
- W2883565738 creator A5087165827 @default.
- W2883565738 date "2019-05-31" @default.
- W2883565738 modified "2023-09-27" @default.
- W2883565738 title "RVHyper: A Runtime Verification Tool for Temporal Hyperproperties" @default.
- W2883565738 cites W1213177963 @default.
- W2883565738 cites W2517913729 @default.
- W2883565738 cites W2603022255 @default.
- W2883565738 cites W2734723004 @default.
- W2883565738 cites W2809932340 @default.
- W2883565738 cites W2964335063 @default.
- W2883565738 cites W3037049410 @default.
- W2883565738 hasPublicationYear "2019" @default.
- W2883565738 type Work @default.
- W2883565738 sameAs 2883565738 @default.
- W2883565738 citedByCount "0" @default.
- W2883565738 crossrefType "posted-content" @default.
- W2883565738 hasAuthorship W2883565738A5012221975 @default.
- W2883565738 hasAuthorship W2883565738A5048189898 @default.
- W2883565738 hasAuthorship W2883565738A5059827972 @default.
- W2883565738 hasAuthorship W2883565738A5087165827 @default.
- W2883565738 hasConcept C111498074 @default.
- W2883565738 hasConcept C119857082 @default.
- W2883565738 hasConcept C138885662 @default.
- W2883565738 hasConcept C162670838 @default.
- W2883565738 hasConcept C177264268 @default.
- W2883565738 hasConcept C199360897 @default.
- W2883565738 hasConcept C202973057 @default.
- W2883565738 hasConcept C25016198 @default.
- W2883565738 hasConcept C41008148 @default.
- W2883565738 hasConcept C41895202 @default.
- W2883565738 hasConcept C45374587 @default.
- W2883565738 hasConcept C4777664 @default.
- W2883565738 hasConcept C75291252 @default.
- W2883565738 hasConcept C80444323 @default.
- W2883565738 hasConcept C97256817 @default.
- W2883565738 hasConceptScore W2883565738C111498074 @default.
- W2883565738 hasConceptScore W2883565738C119857082 @default.
- W2883565738 hasConceptScore W2883565738C138885662 @default.
- W2883565738 hasConceptScore W2883565738C162670838 @default.
- W2883565738 hasConceptScore W2883565738C177264268 @default.
- W2883565738 hasConceptScore W2883565738C199360897 @default.
- W2883565738 hasConceptScore W2883565738C202973057 @default.
- W2883565738 hasConceptScore W2883565738C25016198 @default.
- W2883565738 hasConceptScore W2883565738C41008148 @default.
- W2883565738 hasConceptScore W2883565738C41895202 @default.
- W2883565738 hasConceptScore W2883565738C45374587 @default.
- W2883565738 hasConceptScore W2883565738C4777664 @default.
- W2883565738 hasConceptScore W2883565738C75291252 @default.
- W2883565738 hasConceptScore W2883565738C80444323 @default.
- W2883565738 hasConceptScore W2883565738C97256817 @default.
- W2883565738 hasLocation W28835657381 @default.
- W2883565738 hasOpenAccess W2883565738 @default.
- W2883565738 hasPrimaryLocation W28835657381 @default.
- W2883565738 hasRelatedWork W1515452107 @default.
- W2883565738 hasRelatedWork W1551390756 @default.
- W2883565738 hasRelatedWork W1997984753 @default.
- W2883565738 hasRelatedWork W2007635637 @default.
- W2883565738 hasRelatedWork W2106383176 @default.
- W2883565738 hasRelatedWork W2107412422 @default.
- W2883565738 hasRelatedWork W2159642664 @default.
- W2883565738 hasRelatedWork W2176100176 @default.
- W2883565738 hasRelatedWork W2281584718 @default.
- W2883565738 hasRelatedWork W2346373674 @default.
- W2883565738 hasRelatedWork W2350953867 @default.
- W2883565738 hasRelatedWork W2352091395 @default.
- W2883565738 hasRelatedWork W2583579798 @default.
- W2883565738 hasRelatedWork W2605251839 @default.
- W2883565738 hasRelatedWork W2617181502 @default.
- W2883565738 hasRelatedWork W2801746908 @default.
- W2883565738 hasRelatedWork W2888811801 @default.
- W2883565738 hasRelatedWork W3167537254 @default.
- W2883565738 hasRelatedWork W63703597 @default.
- W2883565738 hasRelatedWork W822698975 @default.
- W2883565738 isParatext "false" @default.
- W2883565738 isRetracted "false" @default.
- W2883565738 magId "2883565738" @default.
- W2883565738 workType "article" @default.