FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1213177963> ?p ?o ?g. }

• W1213177963 endingPage "48" @default.
• W1213177963 startingPage "30" @default.
• W1213177963 abstract "We present an automata-based algorithm for checking finite state systems for hyperproperties specified in HyperLTL and HyperCTL $$^*$$ . For the alternation-free fragments of HyperLTL and HyperCTL $$^*$$ the automaton construction allows us to leverage existing model checking technology. Along several case studies, we demonstrate that the approach enables the verification of real hardware designs for properties that could not be checked before. We study information flow properties of an I2C bus master, the symmetric access to a shared resource in a mutual exclusion protocol, and the functional correctness of encoders and decoders for error resistant codes." @default.
• W1213177963 created "2016-06-24" @default.
• W1213177963 creator A5015623381 @default.
• W1213177963 creator A5048189898 @default.
• W1213177963 creator A5072217103 @default.
• W1213177963 date "2015-01-01" @default.
• W1213177963 modified "2023-10-17" @default.
• W1213177963 title "Algorithms for Model Checking HyperLTL and HyperCTL $$^*$$" @default.
• W1213177963 cites W120333500 @default.
• W1213177963 cites W139017429 @default.
• W1213177963 cites W1492585812 @default.
• W1213177963 cites W1497744324 @default.
• W1213177963 cites W1506588809 @default.
• W1213177963 cites W1507793072 @default.
• W1213177963 cites W1513300473 @default.
• W1213177963 cites W1514815005 @default.
• W1213177963 cites W1528837436 @default.
• W1213177963 cites W1548402307 @default.
• W1213177963 cites W1587990038 @default.
• W1213177963 cites W1819958245 @default.
• W1213177963 cites W1866799138 @default.
• W1213177963 cites W1976043843 @default.
• W1213177963 cites W1977764760 @default.
• W1213177963 cites W1981996395 @default.
• W1213177963 cites W1990609140 @default.
• W1213177963 cites W2003227046 @default.
• W1213177963 cites W2050073538 @default.
• W1213177963 cites W2059045337 @default.
• W1213177963 cites W2070908350 @default.
• W1213177963 cites W2094745524 @default.
• W1213177963 cites W2097365905 @default.
• W1213177963 cites W2123032391 @default.
• W1213177963 cites W2126469755 @default.
• W1213177963 cites W2140306434 @default.
• W1213177963 cites W2150119568 @default.
• W1213177963 cites W2156421816 @default.
• W1213177963 cites W2964335063 @default.
• W1213177963 cites W3138459719 @default.
• W1213177963 cites W4210999552 @default.
• W1213177963 cites W4243284147 @default.
• W1213177963 cites W5424990 @default.
• W1213177963 doi "https://doi.org/10.1007/978-3-319-21690-4_3" @default.
• W1213177963 hasPublicationYear "2015" @default.
• W1213177963 type Work @default.
• W1213177963 sameAs 1213177963 @default.
• W1213177963 citedByCount "116" @default.
• W1213177963 countsByYear W12131779632015 @default.
• W1213177963 countsByYear W12131779632016 @default.
• W1213177963 countsByYear W12131779632017 @default.
• W1213177963 countsByYear W12131779632018 @default.
• W1213177963 countsByYear W12131779632019 @default.
• W1213177963 countsByYear W12131779632020 @default.
• W1213177963 countsByYear W12131779632021 @default.
• W1213177963 countsByYear W12131779632022 @default.
• W1213177963 countsByYear W12131779632023 @default.
• W1213177963 crossrefType "book-chapter" @default.
• W1213177963 hasAuthorship W1213177963A5015623381 @default.
• W1213177963 hasAuthorship W1213177963A5048189898 @default.
• W1213177963 hasAuthorship W1213177963A5072217103 @default.
• W1213177963 hasBestOaLocation W12131779631 @default.
• W1213177963 hasConcept C110251889 @default.
• W1213177963 hasConcept C112505250 @default.
• W1213177963 hasConcept C11413529 @default.
• W1213177963 hasConcept C120314980 @default.
• W1213177963 hasConcept C167822520 @default.
• W1213177963 hasConcept C199360897 @default.
• W1213177963 hasConcept C41008148 @default.
• W1213177963 hasConcept C48103436 @default.
• W1213177963 hasConcept C55439883 @default.
• W1213177963 hasConcept C56348326 @default.
• W1213177963 hasConcept C80444323 @default.
• W1213177963 hasConceptScore W1213177963C110251889 @default.
• W1213177963 hasConceptScore W1213177963C112505250 @default.
• W1213177963 hasConceptScore W1213177963C11413529 @default.
• W1213177963 hasConceptScore W1213177963C120314980 @default.
• W1213177963 hasConceptScore W1213177963C167822520 @default.
• W1213177963 hasConceptScore W1213177963C199360897 @default.
• W1213177963 hasConceptScore W1213177963C41008148 @default.
• W1213177963 hasConceptScore W1213177963C48103436 @default.
• W1213177963 hasConceptScore W1213177963C55439883 @default.
• W1213177963 hasConceptScore W1213177963C56348326 @default.
• W1213177963 hasConceptScore W1213177963C80444323 @default.
• W1213177963 hasLocation W12131779631 @default.
• W1213177963 hasOpenAccess W1213177963 @default.
• W1213177963 hasPrimaryLocation W12131779631 @default.
• W1213177963 hasRelatedWork W127357700 @default.
• W1213177963 hasRelatedWork W1480528870 @default.
• W1213177963 hasRelatedWork W1483156373 @default.
• W1213177963 hasRelatedWork W1594593035 @default.
• W1213177963 hasRelatedWork W2103326719 @default.
• W1213177963 hasRelatedWork W2149977550 @default.
• W1213177963 hasRelatedWork W2152996796 @default.
• W1213177963 hasRelatedWork W2315419748 @default.
• W1213177963 hasRelatedWork W2508541108 @default.
• W1213177963 hasRelatedWork W2746280673 @default.
• W1213177963 isParatext "false" @default.
• W1213177963 isRetracted "false" @default.
• W1213177963 magId "1213177963" @default.

• next