Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312618946> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4312618946 abstract "Temporal logics for hyperproperties like HyperLTL use trace quantifiers to express properties that relate multiple system runs. In practice, the verification of such specifications is mostly limited to formulas without quantifier alternation, where verification can be reduced to checking a trace property over the self-composition of the system. Quantifier alternations like <tex xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>$forallpi.existspi^{prime}.phi$</tex> , can either be solved by complementation or with an interpretation as a two-person game between a v-player, who incrementally constructs the trace, and an 3-player, who constructs. The game-based approach is significantly cheaper but incomplete because the 3-player does not know the future moves of the <tex xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>$omega$</tex> -player. In this paper, we establish that the game-based approach can be made complete by adding (w-regular) temporal prophecies. Our proof is constructiphecies." @default.
- W4312618946 created "2023-01-05" @default.
- W4312618946 creator A5048189898 @default.
- W4312618946 creator A5078182410 @default.
- W4312618946 date "2022-08-01" @default.
- W4312618946 modified "2023-09-23" @default.
- W4312618946 title "Prophecy Variables for Hyperproperty Verification" @default.
- W4312618946 doi "https://doi.org/10.1109/csf54842.2022.9919658" @default.
- W4312618946 hasPublicationYear "2022" @default.
- W4312618946 type Work @default.
- W4312618946 citedByCount "4" @default.
- W4312618946 countsByYear W43126189462022 @default.
- W4312618946 countsByYear W43126189462023 @default.
- W4312618946 crossrefType "proceedings-article" @default.
- W4312618946 hasAuthorship W4312618946A5048189898 @default.
- W4312618946 hasAuthorship W4312618946A5078182410 @default.
- W4312618946 hasBestOaLocation W43126189462 @default.
- W4312618946 hasConcept C111472728 @default.
- W4312618946 hasConcept C118615104 @default.
- W4312618946 hasConcept C138885662 @default.
- W4312618946 hasConcept C154945302 @default.
- W4312618946 hasConcept C189950617 @default.
- W4312618946 hasConcept C199360897 @default.
- W4312618946 hasConcept C206880738 @default.
- W4312618946 hasConcept C2778523021 @default.
- W4312618946 hasConcept C2780654840 @default.
- W4312618946 hasConcept C33923547 @default.
- W4312618946 hasConcept C41008148 @default.
- W4312618946 hasConcept C41895202 @default.
- W4312618946 hasConcept C527412718 @default.
- W4312618946 hasConcept C75291252 @default.
- W4312618946 hasConcept C80444323 @default.
- W4312618946 hasConceptScore W4312618946C111472728 @default.
- W4312618946 hasConceptScore W4312618946C118615104 @default.
- W4312618946 hasConceptScore W4312618946C138885662 @default.
- W4312618946 hasConceptScore W4312618946C154945302 @default.
- W4312618946 hasConceptScore W4312618946C189950617 @default.
- W4312618946 hasConceptScore W4312618946C199360897 @default.
- W4312618946 hasConceptScore W4312618946C206880738 @default.
- W4312618946 hasConceptScore W4312618946C2778523021 @default.
- W4312618946 hasConceptScore W4312618946C2780654840 @default.
- W4312618946 hasConceptScore W4312618946C33923547 @default.
- W4312618946 hasConceptScore W4312618946C41008148 @default.
- W4312618946 hasConceptScore W4312618946C41895202 @default.
- W4312618946 hasConceptScore W4312618946C527412718 @default.
- W4312618946 hasConceptScore W4312618946C75291252 @default.
- W4312618946 hasConceptScore W4312618946C80444323 @default.
- W4312618946 hasLocation W43126189461 @default.
- W4312618946 hasLocation W43126189462 @default.
- W4312618946 hasOpenAccess W4312618946 @default.
- W4312618946 hasPrimaryLocation W43126189461 @default.
- W4312618946 hasRelatedWork W1605691896 @default.
- W4312618946 hasRelatedWork W2041807992 @default.
- W4312618946 hasRelatedWork W2074638034 @default.
- W4312618946 hasRelatedWork W2113556263 @default.
- W4312618946 hasRelatedWork W2172022734 @default.
- W4312618946 hasRelatedWork W2427518429 @default.
- W4312618946 hasRelatedWork W2952657391 @default.
- W4312618946 hasRelatedWork W3137189469 @default.
- W4312618946 hasRelatedWork W4245681215 @default.
- W4312618946 hasRelatedWork W4312618946 @default.
- W4312618946 isParatext "false" @default.
- W4312618946 isRetracted "false" @default.
- W4312618946 workType "article" @default.