Matches in SemOpenAlex for { <https://semopenalex.org/work/W595779784> ?p ?o ?g. }
- W595779784 endingPage "424" @default.
- W595779784 startingPage "387" @default.
- W595779784 abstract "Craig interpolation is a standard method to construct and refine abstractions in model checking. To obtain abstractions that are suitable for the verification of software programs or hardware designs, model checkers rely on theorem provers to find the right interpolants, or interpolants containing the right predicates, in a generally infinite lattice of interpolants for any given interpolation problem. We present a semantic and solver-independent framework for systematically exploring interpolant lattices, based on the notion of interpolation abstraction. We discuss how interpolation abstractions can be constructed for a variety of logics, and how they can be applied in the context of software model checking." @default.
- W595779784 created "2016-06-24" @default.
- W595779784 creator A5009881146 @default.
- W595779784 creator A5014652670 @default.
- W595779784 creator A5022025835 @default.
- W595779784 date "2015-05-15" @default.
- W595779784 modified "2023-10-12" @default.
- W595779784 title "Guiding Craig interpolation with domain-specific abstractions" @default.
- W595779784 cites W1490609548 @default.
- W595779784 cites W1491774527 @default.
- W595779784 cites W1493580732 @default.
- W595779784 cites W1497571013 @default.
- W595779784 cites W1498946538 @default.
- W595779784 cites W1517192598 @default.
- W595779784 cites W1521372188 @default.
- W595779784 cites W1529875158 @default.
- W595779784 cites W1531054827 @default.
- W595779784 cites W1544283013 @default.
- W595779784 cites W1546818998 @default.
- W595779784 cites W1565898282 @default.
- W595779784 cites W1582116296 @default.
- W595779784 cites W1589066270 @default.
- W595779784 cites W1711276981 @default.
- W595779784 cites W1802370758 @default.
- W595779784 cites W1815155750 @default.
- W595779784 cites W189221917 @default.
- W595779784 cites W194026504 @default.
- W595779784 cites W1949522686 @default.
- W595779784 cites W1964621354 @default.
- W595779784 cites W1970168990 @default.
- W595779784 cites W1989788631 @default.
- W595779784 cites W2010265885 @default.
- W595779784 cites W2011495892 @default.
- W595779784 cites W2017315323 @default.
- W595779784 cites W2031276295 @default.
- W595779784 cites W2034485713 @default.
- W595779784 cites W2067871120 @default.
- W595779784 cites W2074782626 @default.
- W595779784 cites W2093397547 @default.
- W595779784 cites W2098244894 @default.
- W595779784 cites W2111950041 @default.
- W595779784 cites W2116333887 @default.
- W595779784 cites W2122599614 @default.
- W595779784 cites W2122700562 @default.
- W595779784 cites W2128466619 @default.
- W595779784 cites W2146782276 @default.
- W595779784 cites W2158493209 @default.
- W595779784 cites W2161253570 @default.
- W595779784 cites W2295634108 @default.
- W595779784 cites W2487992810 @default.
- W595779784 cites W2562160110 @default.
- W595779784 cites W2911612809 @default.
- W595779784 cites W2911867448 @default.
- W595779784 cites W2913808178 @default.
- W595779784 cites W3138202464 @default.
- W595779784 cites W4212792638 @default.
- W595779784 cites W4238770053 @default.
- W595779784 cites W4249920159 @default.
- W595779784 cites W4254377784 @default.
- W595779784 cites W81626549 @default.
- W595779784 doi "https://doi.org/10.1007/s00236-015-0236-z" @default.
- W595779784 hasPublicationYear "2015" @default.
- W595779784 type Work @default.
- W595779784 sameAs 595779784 @default.
- W595779784 citedByCount "18" @default.
- W595779784 countsByYear W5957797842016 @default.
- W595779784 countsByYear W5957797842017 @default.
- W595779784 countsByYear W5957797842018 @default.
- W595779784 countsByYear W5957797842019 @default.
- W595779784 countsByYear W5957797842020 @default.
- W595779784 countsByYear W5957797842021 @default.
- W595779784 countsByYear W5957797842022 @default.
- W595779784 countsByYear W5957797842023 @default.
- W595779784 crossrefType "journal-article" @default.
- W595779784 hasAuthorship W595779784A5009881146 @default.
- W595779784 hasAuthorship W595779784A5014652670 @default.
- W595779784 hasAuthorship W595779784A5022025835 @default.
- W595779784 hasBestOaLocation W5957797844 @default.
- W595779784 hasConcept C104114177 @default.
- W595779784 hasConcept C110251889 @default.
- W595779784 hasConcept C111472728 @default.
- W595779784 hasConcept C11413529 @default.
- W595779784 hasConcept C124304363 @default.
- W595779784 hasConcept C134306372 @default.
- W595779784 hasConcept C136197465 @default.
- W595779784 hasConcept C137800194 @default.
- W595779784 hasConcept C138885662 @default.
- W595779784 hasConcept C151730666 @default.
- W595779784 hasConcept C154945302 @default.
- W595779784 hasConcept C199360897 @default.
- W595779784 hasConcept C24858836 @default.
- W595779784 hasConcept C2777904410 @default.
- W595779784 hasConcept C2778770139 @default.
- W595779784 hasConcept C2779343474 @default.
- W595779784 hasConcept C33923547 @default.
- W595779784 hasConcept C36503486 @default.
- W595779784 hasConcept C41008148 @default.
- W595779784 hasConcept C80444323 @default.