FRINK Linked Data Fragments server

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

• W2155077375 endingPage "749" @default.
• W2155077375 startingPage "742" @default.
• W2155077375 abstract "We describe a method for verifying hardware whose correct behavior depends upon its software interface. It is presumed that the hardware is presented as a synchronous RTL model whereas the software is presented as an asynchronous abstraction. Our methodology incorporates partial order reduction on the software side, and localization reduction, to deal with the computational complexity of the verification. The partial order reduction is implemented as a constraint on the transition relation of a synchronous transformation of the software model. The reduced transformed model then may be verified using a verification algorithm whose scope is purely synchronous models, without modification. Thus, independent of the interface verification problem, this gives a general method for combining partial order reduction with symbolic model-checking." @default.
• W2155077375 created "2016-06-24" @default.
• W2155077375 creator A5014069349 @default.
• W2155077375 creator A5034009786 @default.
• W2155077375 creator A5037474803 @default.
• W2155077375 creator A5049982222 @default.
• W2155077375 creator A5061223044 @default.
• W2155077375 date "1997-11-13" @default.
• W2155077375 modified "2023-10-02" @default.
• W2155077375 title "Verifying hardware in its software context" @default.
• W2155077375 cites W1547793878 @default.
• W2155077375 cites W1605593319 @default.
• W2155077375 cites W1914652816 @default.
• W2155077375 cites W1965309410 @default.
• W2155077375 cites W2016300863 @default.
• W2155077375 cites W2077698590 @default.
• W2155077375 cites W2129335898 @default.
• W2155077375 cites W2144690539 @default.
• W2155077375 cites W2156226967 @default.
• W2155077375 cites W48815722 @default.
• W2155077375 doi "https://doi.org/10.5555/266388.266625" @default.
• W2155077375 hasPublicationYear "1997" @default.
• W2155077375 type Work @default.
• W2155077375 sameAs 2155077375 @default.
• W2155077375 citedByCount "10" @default.
• W2155077375 countsByYear W21550773752013 @default.
• W2155077375 crossrefType "proceedings-article" @default.
• W2155077375 hasAuthorship W2155077375A5014069349 @default.
• W2155077375 hasAuthorship W2155077375A5034009786 @default.
• W2155077375 hasAuthorship W2155077375A5037474803 @default.
• W2155077375 hasAuthorship W2155077375A5049982222 @default.
• W2155077375 hasAuthorship W2155077375A5061223044 @default.
• W2155077375 hasConcept C110251889 @default.
• W2155077375 hasConcept C111335779 @default.
• W2155077375 hasConcept C111498074 @default.
• W2155077375 hasConcept C113843644 @default.
• W2155077375 hasConcept C129307140 @default.
• W2155077375 hasConcept C149091818 @default.
• W2155077375 hasConcept C151319957 @default.
• W2155077375 hasConcept C151730666 @default.
• W2155077375 hasConcept C157915830 @default.
• W2155077375 hasConcept C173608175 @default.
• W2155077375 hasConcept C186846655 @default.
• W2155077375 hasConcept C199360897 @default.
• W2155077375 hasConcept C2524010 @default.
• W2155077375 hasConcept C2777904410 @default.
• W2155077375 hasConcept C2779343474 @default.
• W2155077375 hasConcept C2779639559 @default.
• W2155077375 hasConcept C31258907 @default.
• W2155077375 hasConcept C33054407 @default.
• W2155077375 hasConcept C33923547 @default.
• W2155077375 hasConcept C41008148 @default.
• W2155077375 hasConcept C80444323 @default.
• W2155077375 hasConcept C86803240 @default.
• W2155077375 hasConcept C94633896 @default.
• W2155077375 hasConceptScore W2155077375C110251889 @default.
• W2155077375 hasConceptScore W2155077375C111335779 @default.
• W2155077375 hasConceptScore W2155077375C111498074 @default.
• W2155077375 hasConceptScore W2155077375C113843644 @default.
• W2155077375 hasConceptScore W2155077375C129307140 @default.
• W2155077375 hasConceptScore W2155077375C149091818 @default.
• W2155077375 hasConceptScore W2155077375C151319957 @default.
• W2155077375 hasConceptScore W2155077375C151730666 @default.
• W2155077375 hasConceptScore W2155077375C157915830 @default.
• W2155077375 hasConceptScore W2155077375C173608175 @default.
• W2155077375 hasConceptScore W2155077375C186846655 @default.
• W2155077375 hasConceptScore W2155077375C199360897 @default.
• W2155077375 hasConceptScore W2155077375C2524010 @default.
• W2155077375 hasConceptScore W2155077375C2777904410 @default.
• W2155077375 hasConceptScore W2155077375C2779343474 @default.
• W2155077375 hasConceptScore W2155077375C2779639559 @default.
• W2155077375 hasConceptScore W2155077375C31258907 @default.
• W2155077375 hasConceptScore W2155077375C33054407 @default.
• W2155077375 hasConceptScore W2155077375C33923547 @default.
• W2155077375 hasConceptScore W2155077375C41008148 @default.
• W2155077375 hasConceptScore W2155077375C80444323 @default.
• W2155077375 hasConceptScore W2155077375C86803240 @default.
• W2155077375 hasConceptScore W2155077375C94633896 @default.
• W2155077375 hasLocation W21550773751 @default.
• W2155077375 hasOpenAccess W2155077375 @default.
• W2155077375 hasPrimaryLocation W21550773751 @default.
• W2155077375 hasRelatedWork W1493466221 @default.
• W2155077375 hasRelatedWork W1503170978 @default.
• W2155077375 hasRelatedWork W1547793878 @default.
• W2155077375 hasRelatedWork W1605593319 @default.
• W2155077375 hasRelatedWork W1934074768 @default.
• W2155077375 hasRelatedWork W1981499043 @default.
• W2155077375 hasRelatedWork W1998488283 @default.
• W2155077375 hasRelatedWork W2009965218 @default.
• W2155077375 hasRelatedWork W2077388278 @default.
• W2155077375 hasRelatedWork W2080267935 @default.
• W2155077375 hasRelatedWork W2100196127 @default.
• W2155077375 hasRelatedWork W2118572231 @default.
• W2155077375 hasRelatedWork W2144807261 @default.
• W2155077375 hasRelatedWork W2152147436 @default.
• W2155077375 hasRelatedWork W2156116570 @default.
• W2155077375 hasRelatedWork W2169034532 @default.
• W2155077375 hasRelatedWork W2537827883 @default.

• next