FRINK Linked Data Fragments server

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

• W1571270325 endingPage "121" @default.
• W1571270325 startingPage "114" @default.
• W1571270325 abstract "During its evolution, a typical software/hardware design undergoes a myriad of small changes. However, it is extremely costly to verify each new version from scratch. As a remedy to this problem, we propose to use function summaries to enable incremental verification of the evolving systems. During the evolution, our approach maintains function summaries derived using Craig's interpolation. For each new version, these summaries are used to perform a local incremental check. Benefit of this approach is that the cost of the check depends on the extent of the change between the two versions and can be performed cheaply for incremental changes without resorting to re-verification of the entire system. Our implementation and experimentation in the context of the bounded model checking for C confirms that incremental changes can be verified efficiently for different classes of industrial programs." @default.
• W1571270325 created "2016-06-24" @default.
• W1571270325 creator A5027818967 @default.
• W1571270325 creator A5033145955 @default.
• W1571270325 creator A5075152083 @default.
• W1571270325 date "2012-10-01" @default.
• W1571270325 modified "2023-09-23" @default.
• W1571270325 title "Incremental upgrade checking by means of interpolation-based function summaries" @default.
• W1571270325 cites W101497066 @default.
• W1571270325 cites W1497571013 @default.
• W1571270325 cites W15179086 @default.
• W1571270325 cites W1521942127 @default.
• W1571270325 cites W1585020894 @default.
• W1571270325 cites W1586497944 @default.
• W1571270325 cites W1787074469 @default.
• W1571270325 cites W1879823367 @default.
• W1571270325 cites W2044095368 @default.
• W1571270325 cites W2074888021 @default.
• W1571270325 cites W2114633883 @default.
• W1571270325 cites W2115950902 @default.
• W1571270325 cites W2146110773 @default.
• W1571270325 cites W2155791623 @default.
• W1571270325 cites W2293092623 @default.
• W1571270325 cites W3101554748 @default.
• W1571270325 cites W2522890436 @default.
• W1571270325 hasPublicationYear "2012" @default.
• W1571270325 type Work @default.
• W1571270325 sameAs 1571270325 @default.
• W1571270325 citedByCount "11" @default.
• W1571270325 countsByYear W15712703252013 @default.
• W1571270325 countsByYear W15712703252014 @default.
• W1571270325 countsByYear W15712703252016 @default.
• W1571270325 countsByYear W15712703252017 @default.
• W1571270325 countsByYear W15712703252019 @default.
• W1571270325 countsByYear W15712703252020 @default.
• W1571270325 countsByYear W15712703252021 @default.
• W1571270325 crossrefType "proceedings-article" @default.
• W1571270325 hasAuthorship W1571270325A5027818967 @default.
• W1571270325 hasAuthorship W1571270325A5033145955 @default.
• W1571270325 hasAuthorship W1571270325A5075152083 @default.
• W1571270325 hasConcept C110251889 @default.
• W1571270325 hasConcept C111919701 @default.
• W1571270325 hasConcept C115961682 @default.
• W1571270325 hasConcept C134306372 @default.
• W1571270325 hasConcept C137800194 @default.
• W1571270325 hasConcept C14036430 @default.
• W1571270325 hasConcept C151730666 @default.
• W1571270325 hasConcept C154945302 @default.
• W1571270325 hasConcept C199360897 @default.
• W1571270325 hasConcept C2777904410 @default.
• W1571270325 hasConcept C2779343474 @default.
• W1571270325 hasConcept C2780615140 @default.
• W1571270325 hasConcept C33923547 @default.
• W1571270325 hasConcept C34388435 @default.
• W1571270325 hasConcept C41008148 @default.
• W1571270325 hasConcept C78458016 @default.
• W1571270325 hasConcept C80444323 @default.
• W1571270325 hasConcept C86803240 @default.
• W1571270325 hasConceptScore W1571270325C110251889 @default.
• W1571270325 hasConceptScore W1571270325C111919701 @default.
• W1571270325 hasConceptScore W1571270325C115961682 @default.
• W1571270325 hasConceptScore W1571270325C134306372 @default.
• W1571270325 hasConceptScore W1571270325C137800194 @default.
• W1571270325 hasConceptScore W1571270325C14036430 @default.
• W1571270325 hasConceptScore W1571270325C151730666 @default.
• W1571270325 hasConceptScore W1571270325C154945302 @default.
• W1571270325 hasConceptScore W1571270325C199360897 @default.
• W1571270325 hasConceptScore W1571270325C2777904410 @default.
• W1571270325 hasConceptScore W1571270325C2779343474 @default.
• W1571270325 hasConceptScore W1571270325C2780615140 @default.
• W1571270325 hasConceptScore W1571270325C33923547 @default.
• W1571270325 hasConceptScore W1571270325C34388435 @default.
• W1571270325 hasConceptScore W1571270325C41008148 @default.
• W1571270325 hasConceptScore W1571270325C78458016 @default.
• W1571270325 hasConceptScore W1571270325C80444323 @default.
• W1571270325 hasConceptScore W1571270325C86803240 @default.
• W1571270325 hasLocation W15712703251 @default.
• W1571270325 hasOpenAccess W1571270325 @default.
• W1571270325 hasPrimaryLocation W15712703251 @default.
• W1571270325 hasRelatedWork W1480909796 @default.
• W1571270325 hasRelatedWork W1510368738 @default.
• W1571270325 hasRelatedWork W15179086 @default.
• W1571270325 hasRelatedWork W1585020894 @default.
• W1571270325 hasRelatedWork W1646049001 @default.
• W1571270325 hasRelatedWork W1771925833 @default.
• W1571270325 hasRelatedWork W1787074469 @default.
• W1571270325 hasRelatedWork W189221917 @default.
• W1571270325 hasRelatedWork W1976665040 @default.
• W1571270325 hasRelatedWork W1990880047 @default.
• W1571270325 hasRelatedWork W2044095368 @default.
• W1571270325 hasRelatedWork W2066353350 @default.
• W1571270325 hasRelatedWork W2067871120 @default.
• W1571270325 hasRelatedWork W2074888021 @default.
• W1571270325 hasRelatedWork W2100099517 @default.
• W1571270325 hasRelatedWork W2103057263 @default.
• W1571270325 hasRelatedWork W2114633883 @default.
• W1571270325 hasRelatedWork W2151463894 @default.
• W1571270325 hasRelatedWork W2152565783 @default.

• next