FRINK Linked Data Fragments server

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

• W2604202109 endingPage "264" @default.
• W2604202109 startingPage "238" @default.
• W2604202109 abstract "This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV framework uses constraint stores to represent both the specification and the program and explores execution paths of bounded length nondeterministically. The CPBPV framework detects non-conformities and provides counter examples when a path of bounded length that refutes some properties exists. The input program is partially correct under the boundness restrictions, if each constraint store so produced implies the post-condition. CPBPV does not explore spurious execution paths, as it incrementally prunes execution paths early by detecting that the constraint store is not consistent. CPBPV uses the rich language of constraint programming to express the constraint store. Finally, CPBPV is parameterized with a list of solvers which are tried in sequence, starting with the least expensive and less general. Experimental results often produce orders of magnitude improvements over earlier approaches, running times being often independent of the size of the variable domains. Moreover, CPBPV was able to detect subtle errors in some programs for which other frameworks based on bounded model checking have failed." @default.
• W2604202109 created "2017-04-14" @default.
• W2604202109 creator A5035808622 @default.
• W2604202109 creator A5057446428 @default.
• W2604202109 creator A5086425684 @default.
• W2604202109 date "2010-01-06" @default.
• W2604202109 modified "2023-09-26" @default.
• W2604202109 title "CPBPV: a constraint-programming framework for bounded program verification" @default.
• W2604202109 cites W1489527380 @default.
• W2604202109 cites W1498833306 @default.
• W2604202109 cites W1532097571 @default.
• W2604202109 cites W1553858749 @default.
• W2604202109 cites W1562679818 @default.
• W2604202109 cites W1577404745 @default.
• W2604202109 cites W1579638562 @default.
• W2604202109 cites W1691700263 @default.
• W2604202109 cites W1720848645 @default.
• W2604202109 cites W1819209966 @default.
• W2604202109 cites W1854012871 @default.
• W2604202109 cites W1868334863 @default.
• W2604202109 cites W1964830323 @default.
• W2604202109 cites W1982205631 @default.
• W2604202109 cites W2017741580 @default.
• W2604202109 cites W2025304834 @default.
• W2604202109 cites W2031525781 @default.
• W2604202109 cites W2043876870 @default.
• W2604202109 cites W2074500093 @default.
• W2604202109 cites W2076933173 @default.
• W2604202109 cites W2096561672 @default.
• W2604202109 cites W2125967324 @default.
• W2604202109 cites W2129538349 @default.
• W2604202109 cites W2163482209 @default.
• W2604202109 cites W2164392635 @default.
• W2604202109 cites W2164647716 @default.
• W2604202109 cites W4243326882 @default.
• W2604202109 cites W4247032301 @default.
• W2604202109 cites W6337991 @default.
• W2604202109 doi "https://doi.org/10.1007/s10601-009-9089-9" @default.
• W2604202109 hasPublicationYear "2010" @default.
• W2604202109 type Work @default.
• W2604202109 sameAs 2604202109 @default.
• W2604202109 citedByCount "37" @default.
• W2604202109 countsByYear W26042021092012 @default.
• W2604202109 countsByYear W26042021092013 @default.
• W2604202109 countsByYear W26042021092014 @default.
• W2604202109 countsByYear W26042021092015 @default.
• W2604202109 countsByYear W26042021092016 @default.
• W2604202109 countsByYear W26042021092017 @default.
• W2604202109 countsByYear W26042021092018 @default.
• W2604202109 countsByYear W26042021092019 @default.
• W2604202109 countsByYear W26042021092020 @default.
• W2604202109 crossrefType "journal-article" @default.
• W2604202109 hasAuthorship W2604202109A5035808622 @default.
• W2604202109 hasAuthorship W2604202109A5057446428 @default.
• W2604202109 hasAuthorship W2604202109A5086425684 @default.
• W2604202109 hasBestOaLocation W26042021092 @default.
• W2604202109 hasConcept C11413529 @default.
• W2604202109 hasConcept C119857082 @default.
• W2604202109 hasConcept C126255220 @default.
• W2604202109 hasConcept C134306372 @default.
• W2604202109 hasConcept C137631369 @default.
• W2604202109 hasConcept C165464430 @default.
• W2604202109 hasConcept C173404611 @default.
• W2604202109 hasConcept C199360897 @default.
• W2604202109 hasConcept C2524010 @default.
• W2604202109 hasConcept C2776036281 @default.
• W2604202109 hasConcept C2778112365 @default.
• W2604202109 hasConcept C33923547 @default.
• W2604202109 hasConcept C34388435 @default.
• W2604202109 hasConcept C41008148 @default.
• W2604202109 hasConcept C54355233 @default.
• W2604202109 hasConcept C80444323 @default.
• W2604202109 hasConcept C86803240 @default.
• W2604202109 hasConcept C97256817 @default.
• W2604202109 hasConceptScore W2604202109C11413529 @default.
• W2604202109 hasConceptScore W2604202109C119857082 @default.
• W2604202109 hasConceptScore W2604202109C126255220 @default.
• W2604202109 hasConceptScore W2604202109C134306372 @default.
• W2604202109 hasConceptScore W2604202109C137631369 @default.
• W2604202109 hasConceptScore W2604202109C165464430 @default.
• W2604202109 hasConceptScore W2604202109C173404611 @default.
• W2604202109 hasConceptScore W2604202109C199360897 @default.
• W2604202109 hasConceptScore W2604202109C2524010 @default.
• W2604202109 hasConceptScore W2604202109C2776036281 @default.
• W2604202109 hasConceptScore W2604202109C2778112365 @default.
• W2604202109 hasConceptScore W2604202109C33923547 @default.
• W2604202109 hasConceptScore W2604202109C34388435 @default.
• W2604202109 hasConceptScore W2604202109C41008148 @default.
• W2604202109 hasConceptScore W2604202109C54355233 @default.
• W2604202109 hasConceptScore W2604202109C80444323 @default.
• W2604202109 hasConceptScore W2604202109C86803240 @default.
• W2604202109 hasConceptScore W2604202109C97256817 @default.
• W2604202109 hasIssue "2" @default.
• W2604202109 hasLocation W26042021091 @default.
• W2604202109 hasLocation W26042021092 @default.
• W2604202109 hasLocation W26042021093 @default.
• W2604202109 hasLocation W26042021094 @default.
• W2604202109 hasLocation W26042021095 @default.

• next