Matches in SemOpenAlex for { <https://semopenalex.org/work/W2734853177> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2734853177 endingPage "252" @default.
- W2734853177 startingPage "232" @default.
- W2734853177 abstract "Hyperproperties are becoming the, de facto, standard for reasoning about systems executions. They differ from classical trace properties since they are represented by sets of sets of executions instead of sets of executions. In this paper, we extend and lift the hierarchy of semantics developed in 2002 by P. Cousot in order to cope with verification of hyperproperties. In the standard hierarchy, semantics at different levels of abstraction are related with each other by abstract interpretation. In the same spirit, we propose an hyperhierarchy of semantics adding a new, more concrete, hyper level. The semantics defined at this hyper level are suitable for hyperproperties verification. Furthermore, all the semantics in the hyperhierarchy (the standard and the hyper ones) are still related by abstract interpretation." @default.
- W2734853177 created "2017-07-21" @default.
- W2734853177 creator A5031780173 @default.
- W2734853177 creator A5042532202 @default.
- W2734853177 date "2017-01-01" @default.
- W2734853177 modified "2023-10-16" @default.
- W2734853177 title "Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification" @default.
- W2734853177 cites W1213177963 @default.
- W2734853177 cites W1966571454 @default.
- W2734853177 cites W2004736837 @default.
- W2734853177 cites W2006802414 @default.
- W2734853177 cites W2008609084 @default.
- W2734853177 cites W2014764321 @default.
- W2734853177 cites W2043100293 @default.
- W2734853177 cites W2069431698 @default.
- W2734853177 cites W2084875723 @default.
- W2734853177 cites W2085858676 @default.
- W2734853177 cites W2087403174 @default.
- W2734853177 cites W2106647551 @default.
- W2734853177 cites W2123858370 @default.
- W2734853177 cites W2130518331 @default.
- W2734853177 cites W2293624369 @default.
- W2734853177 cites W2295244175 @default.
- W2734853177 cites W2517913729 @default.
- W2734853177 cites W2914206182 @default.
- W2734853177 cites W2964335063 @default.
- W2734853177 cites W4240185672 @default.
- W2734853177 cites W4250728693 @default.
- W2734853177 doi "https://doi.org/10.1007/978-3-319-66706-5_12" @default.
- W2734853177 hasPublicationYear "2017" @default.
- W2734853177 type Work @default.
- W2734853177 sameAs 2734853177 @default.
- W2734853177 citedByCount "8" @default.
- W2734853177 countsByYear W27348531772018 @default.
- W2734853177 countsByYear W27348531772019 @default.
- W2734853177 countsByYear W27348531772020 @default.
- W2734853177 countsByYear W27348531772021 @default.
- W2734853177 countsByYear W27348531772023 @default.
- W2734853177 crossrefType "book-chapter" @default.
- W2734853177 hasAuthorship W2734853177A5031780173 @default.
- W2734853177 hasAuthorship W2734853177A5042532202 @default.
- W2734853177 hasConcept C138885662 @default.
- W2734853177 hasConcept C146499914 @default.
- W2734853177 hasConcept C162324750 @default.
- W2734853177 hasConcept C184337299 @default.
- W2734853177 hasConcept C199360897 @default.
- W2734853177 hasConcept C2780654840 @default.
- W2734853177 hasConcept C31170391 @default.
- W2734853177 hasConcept C34447519 @default.
- W2734853177 hasConcept C41008148 @default.
- W2734853177 hasConcept C41895202 @default.
- W2734853177 hasConcept C527412718 @default.
- W2734853177 hasConcept C75291252 @default.
- W2734853177 hasConcept C80444323 @default.
- W2734853177 hasConceptScore W2734853177C138885662 @default.
- W2734853177 hasConceptScore W2734853177C146499914 @default.
- W2734853177 hasConceptScore W2734853177C162324750 @default.
- W2734853177 hasConceptScore W2734853177C184337299 @default.
- W2734853177 hasConceptScore W2734853177C199360897 @default.
- W2734853177 hasConceptScore W2734853177C2780654840 @default.
- W2734853177 hasConceptScore W2734853177C31170391 @default.
- W2734853177 hasConceptScore W2734853177C34447519 @default.
- W2734853177 hasConceptScore W2734853177C41008148 @default.
- W2734853177 hasConceptScore W2734853177C41895202 @default.
- W2734853177 hasConceptScore W2734853177C527412718 @default.
- W2734853177 hasConceptScore W2734853177C75291252 @default.
- W2734853177 hasConceptScore W2734853177C80444323 @default.
- W2734853177 hasLocation W27348531771 @default.
- W2734853177 hasOpenAccess W2734853177 @default.
- W2734853177 hasPrimaryLocation W27348531771 @default.
- W2734853177 hasRelatedWork W1491977649 @default.
- W2734853177 hasRelatedWork W2005840275 @default.
- W2734853177 hasRelatedWork W2016114133 @default.
- W2734853177 hasRelatedWork W2074638034 @default.
- W2734853177 hasRelatedWork W2124137227 @default.
- W2734853177 hasRelatedWork W27605384 @default.
- W2734853177 hasRelatedWork W3028943997 @default.
- W2734853177 hasRelatedWork W4206726327 @default.
- W2734853177 hasRelatedWork W4298187297 @default.
- W2734853177 hasRelatedWork W4312991606 @default.
- W2734853177 isParatext "false" @default.
- W2734853177 isRetracted "false" @default.
- W2734853177 magId "2734853177" @default.
- W2734853177 workType "book-chapter" @default.