FRINK Linked Data Fragments server

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

• W1853246977 endingPage "101" @default.
• W1853246977 startingPage "86" @default.
• W1853246977 abstract "In this paper, we develop a counterexample-guided abstraction refinement (CEGAR) framework for monotonic abstraction, an approach that is particularly useful in automatic verification of safety properties for parameterized systems. The main drawback of verification using monotonic abstraction is that it sometimes generates spurious counterexamples. Our CEGAR algorithm automatically extracts from each spurious counterexample a set of configurations called a “Safety Zone”and uses it to refine the abstract transition system of the next iteration. We have developed a prototype based on this idea; and our experimentation shows that the approach allows to verify many of the examples that cannot be handled by the original monotonic abstraction approach." @default.
• W1853246977 created "2016-06-24" @default.
• W1853246977 creator A5002478680 @default.
• W1853246977 creator A5031356201 @default.
• W1853246977 creator A5048614307 @default.
• W1853246977 creator A5064227560 @default.
• W1853246977 creator A5071901297 @default.
• W1853246977 creator A5087431438 @default.
• W1853246977 date "2010-01-01" @default.
• W1853246977 modified "2023-10-10" @default.
• W1853246977 title "Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification" @default.
• W1853246977 cites W1482233117 @default.
• W1853246977 cites W1498256026 @default.
• W1853246977 cites W1518757970 @default.
• W1853246977 cites W1529458863 @default.
• W1853246977 cites W1531054827 @default.
• W1853246977 cites W1531261972 @default.
• W1853246977 cites W1536946401 @default.
• W1853246977 cites W1541228707 @default.
• W1853246977 cites W1546818998 @default.
• W1853246977 cites W1554289869 @default.
• W1853246977 cites W1555718343 @default.
• W1853246977 cites W1606654639 @default.
• W1853246977 cites W1842953027 @default.
• W1853246977 cites W1853246977 @default.
• W1853246977 cites W1860772589 @default.
• W1853246977 cites W1870526560 @default.
• W1853246977 cites W1875437173 @default.
• W1853246977 cites W1967174286 @default.
• W1853246977 cites W1968448471 @default.
• W1853246977 cites W1971521983 @default.
• W1853246977 cites W2123160677 @default.
• W1853246977 cites W2316437449 @default.
• W1853246977 cites W2914517473 @default.
• W1853246977 cites W4236684541 @default.
• W1853246977 doi "https://doi.org/10.1007/978-3-642-15375-4_7" @default.
• W1853246977 hasPublicationYear "2010" @default.
• W1853246977 type Work @default.
• W1853246977 sameAs 1853246977 @default.
• W1853246977 citedByCount "26" @default.
• W1853246977 countsByYear W18532469772012 @default.
• W1853246977 countsByYear W18532469772013 @default.
• W1853246977 countsByYear W18532469772014 @default.
• W1853246977 countsByYear W18532469772015 @default.
• W1853246977 countsByYear W18532469772016 @default.
• W1853246977 countsByYear W18532469772017 @default.
• W1853246977 countsByYear W18532469772019 @default.
• W1853246977 countsByYear W18532469772020 @default.
• W1853246977 countsByYear W18532469772023 @default.
• W1853246977 crossrefType "book-chapter" @default.
• W1853246977 hasAuthorship W1853246977A5002478680 @default.
• W1853246977 hasAuthorship W1853246977A5031356201 @default.
• W1853246977 hasAuthorship W1853246977A5048614307 @default.
• W1853246977 hasAuthorship W1853246977A5064227560 @default.
• W1853246977 hasAuthorship W1853246977A5071901297 @default.
• W1853246977 hasAuthorship W1853246977A5087431438 @default.
• W1853246977 hasBestOaLocation W18532469772 @default.
• W1853246977 hasConcept C110251889 @default.
• W1853246977 hasConcept C111472728 @default.
• W1853246977 hasConcept C11413529 @default.
• W1853246977 hasConcept C118615104 @default.
• W1853246977 hasConcept C119857082 @default.
• W1853246977 hasConcept C124304363 @default.
• W1853246977 hasConcept C134306372 @default.
• W1853246977 hasConcept C138885662 @default.
• W1853246977 hasConcept C162838799 @default.
• W1853246977 hasConcept C165464430 @default.
• W1853246977 hasConcept C177264268 @default.
• W1853246977 hasConcept C199360897 @default.
• W1853246977 hasConcept C33923547 @default.
• W1853246977 hasConcept C41008148 @default.
• W1853246977 hasConcept C72169020 @default.
• W1853246977 hasConcept C80444323 @default.
• W1853246977 hasConcept C97256817 @default.
• W1853246977 hasConceptScore W1853246977C110251889 @default.
• W1853246977 hasConceptScore W1853246977C111472728 @default.
• W1853246977 hasConceptScore W1853246977C11413529 @default.
• W1853246977 hasConceptScore W1853246977C118615104 @default.
• W1853246977 hasConceptScore W1853246977C119857082 @default.
• W1853246977 hasConceptScore W1853246977C124304363 @default.
• W1853246977 hasConceptScore W1853246977C134306372 @default.
• W1853246977 hasConceptScore W1853246977C138885662 @default.
• W1853246977 hasConceptScore W1853246977C162838799 @default.
• W1853246977 hasConceptScore W1853246977C165464430 @default.
• W1853246977 hasConceptScore W1853246977C177264268 @default.
• W1853246977 hasConceptScore W1853246977C199360897 @default.
• W1853246977 hasConceptScore W1853246977C33923547 @default.
• W1853246977 hasConceptScore W1853246977C41008148 @default.
• W1853246977 hasConceptScore W1853246977C72169020 @default.
• W1853246977 hasConceptScore W1853246977C80444323 @default.
• W1853246977 hasConceptScore W1853246977C97256817 @default.
• W1853246977 hasLocation W18532469771 @default.
• W1853246977 hasLocation W18532469772 @default.
• W1853246977 hasOpenAccess W1853246977 @default.
• W1853246977 hasPrimaryLocation W18532469771 @default.
• W1853246977 hasRelatedWork W1851906033 @default.
• W1853246977 hasRelatedWork W1853246977 @default.
• W1853246977 hasRelatedWork W20424721 @default.

• next