FRINK Linked Data Fragments server

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

• W2889163403 endingPage "382" @default.
• W2889163403 startingPage "364" @default.
• W2889163403 abstract "Despite the increasing effectiveness of model checking tools, automatically re-verifying a program whenever a new revision of it is created is often not feasible using existing tools. Incremental verification aims at facilitating this re-verification, by reusing partial results. In this paper, we propose a novel approach for incremental verification that is based on trace abstraction. Trace abstraction is an automata-based verification technique in which the program is proved correct using a sequence of automata. We present two algorithms that reuse this sequence across different revisions, one eagerly and one lazily. We demonstrate their effectiveness in an extensive experimental evaluation on a previously established benchmark set for incremental verification based on different revisions of device drivers from the Linux kernel. Our algorithm is able to achieve significant speedups on this set, compared to both stand-alone verification and previous approaches." @default.
• W2889163403 created "2018-09-07" @default.
• W2889163403 creator A5009256978 @default.
• W2889163403 creator A5011381866 @default.
• W2889163403 creator A5077581460 @default.
• W2889163403 date "2018-01-01" @default.
• W2889163403 modified "2023-10-10" @default.
• W2889163403 title "Incremental Verification Using Trace Abstraction" @default.
• W2889163403 cites W1515363397 @default.
• W2889163403 cites W1841626152 @default.
• W2889163403 cites W1976665040 @default.
• W2889163403 cites W1990880047 @default.
• W2889163403 cites W203808516 @default.
• W2889163403 cites W2067871120 @default.
• W2889163403 cites W2076449438 @default.
• W2889163403 cites W2112790424 @default.
• W2889163403 cites W2126170277 @default.
• W2889163403 cites W2149907859 @default.
• W2889163403 cites W2159283907 @default.
• W2889163403 cites W2202127834 @default.
• W2889163403 cites W2295310903 @default.
• W2889163403 cites W2491060331 @default.
• W2889163403 cites W2495277787 @default.
• W2889163403 cites W2519113869 @default.
• W2889163403 cites W2554831868 @default.
• W2889163403 cites W2741489251 @default.
• W2889163403 cites W2748925796 @default.
• W2889163403 cites W2796681537 @default.
• W2889163403 cites W280231913 @default.
• W2889163403 cites W4249100736 @default.
• W2889163403 cites W72265089 @default.
• W2889163403 cites W95169743 @default.
• W2889163403 doi "https://doi.org/10.1007/978-3-319-99725-4_22" @default.
• W2889163403 hasPublicationYear "2018" @default.
• W2889163403 type Work @default.
• W2889163403 sameAs 2889163403 @default.
• W2889163403 citedByCount "13" @default.
• W2889163403 countsByYear W28891634032019 @default.
• W2889163403 countsByYear W28891634032020 @default.
• W2889163403 countsByYear W28891634032021 @default.
• W2889163403 countsByYear W28891634032022 @default.
• W2889163403 countsByYear W28891634032023 @default.
• W2889163403 crossrefType "book-chapter" @default.
• W2889163403 hasAuthorship W2889163403A5009256978 @default.
• W2889163403 hasAuthorship W2889163403A5011381866 @default.
• W2889163403 hasAuthorship W2889163403A5077581460 @default.
• W2889163403 hasConcept C110251889 @default.
• W2889163403 hasConcept C111472728 @default.
• W2889163403 hasConcept C111498074 @default.
• W2889163403 hasConcept C112505250 @default.
• W2889163403 hasConcept C114614502 @default.
• W2889163403 hasConcept C124304363 @default.
• W2889163403 hasConcept C13280743 @default.
• W2889163403 hasConcept C138885662 @default.
• W2889163403 hasConcept C177264268 @default.
• W2889163403 hasConcept C185798385 @default.
• W2889163403 hasConcept C186846655 @default.
• W2889163403 hasConcept C18903297 @default.
• W2889163403 hasConcept C199360897 @default.
• W2889163403 hasConcept C202973057 @default.
• W2889163403 hasConcept C205649164 @default.
• W2889163403 hasConcept C206588197 @default.
• W2889163403 hasConcept C2777904410 @default.
• W2889163403 hasConcept C2778112365 @default.
• W2889163403 hasConcept C33054407 @default.
• W2889163403 hasConcept C33923547 @default.
• W2889163403 hasConcept C41008148 @default.
• W2889163403 hasConcept C41895202 @default.
• W2889163403 hasConcept C529173508 @default.
• W2889163403 hasConcept C54355233 @default.
• W2889163403 hasConcept C62460635 @default.
• W2889163403 hasConcept C74193536 @default.
• W2889163403 hasConcept C75291252 @default.
• W2889163403 hasConcept C80444323 @default.
• W2889163403 hasConcept C86803240 @default.
• W2889163403 hasConceptScore W2889163403C110251889 @default.
• W2889163403 hasConceptScore W2889163403C111472728 @default.
• W2889163403 hasConceptScore W2889163403C111498074 @default.
• W2889163403 hasConceptScore W2889163403C112505250 @default.
• W2889163403 hasConceptScore W2889163403C114614502 @default.
• W2889163403 hasConceptScore W2889163403C124304363 @default.
• W2889163403 hasConceptScore W2889163403C13280743 @default.
• W2889163403 hasConceptScore W2889163403C138885662 @default.
• W2889163403 hasConceptScore W2889163403C177264268 @default.
• W2889163403 hasConceptScore W2889163403C185798385 @default.
• W2889163403 hasConceptScore W2889163403C186846655 @default.
• W2889163403 hasConceptScore W2889163403C18903297 @default.
• W2889163403 hasConceptScore W2889163403C199360897 @default.
• W2889163403 hasConceptScore W2889163403C202973057 @default.
• W2889163403 hasConceptScore W2889163403C205649164 @default.
• W2889163403 hasConceptScore W2889163403C206588197 @default.
• W2889163403 hasConceptScore W2889163403C2777904410 @default.
• W2889163403 hasConceptScore W2889163403C2778112365 @default.
• W2889163403 hasConceptScore W2889163403C33054407 @default.
• W2889163403 hasConceptScore W2889163403C33923547 @default.
• W2889163403 hasConceptScore W2889163403C41008148 @default.
• W2889163403 hasConceptScore W2889163403C41895202 @default.
• W2889163403 hasConceptScore W2889163403C529173508 @default.

• next