Matches in SemOpenAlex for { <https://semopenalex.org/work/W16815560> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W16815560 endingPage "685" @default.
- W16815560 startingPage "679" @default.
- W16815560 abstract "We present SAFARI, a model checker designed to prove (possibly universally quantified) safety properties of imperative programs with arrays of unknown length. SAFARI is based on an extension of lazy abstraction capable of handling existentially quantified formulae for symbolically representing states. A heuristics, called term abstraction, favors the convergence of the tool by tuning interpolants and guessing additional quantified variables of invariants to prune the search space efficiently." @default.
- W16815560 created "2016-06-24" @default.
- W16815560 creator A5032057278 @default.
- W16815560 creator A5041352997 @default.
- W16815560 creator A5047487115 @default.
- W16815560 creator A5057242516 @default.
- W16815560 creator A5075152083 @default.
- W16815560 date "2012-01-01" @default.
- W16815560 modified "2023-09-23" @default.
- W16815560 title "SAFARI: SMT-Based Abstraction for Arrays with Interpolants" @default.
- W16815560 cites W1497571013 @default.
- W16815560 cites W1516900991 @default.
- W16815560 cites W1533634404 @default.
- W16815560 cites W1565898282 @default.
- W16815560 cites W1577404745 @default.
- W16815560 cites W1951162889 @default.
- W16815560 cites W2015362443 @default.
- W16815560 cites W2111950041 @default.
- W16815560 cites W2116333887 @default.
- W16815560 cites W2151643528 @default.
- W16815560 cites W2158395308 @default.
- W16815560 cites W3019119050 @default.
- W16815560 cites W4230509083 @default.
- W16815560 cites W4241223029 @default.
- W16815560 cites W4243167850 @default.
- W16815560 cites W4252150051 @default.
- W16815560 doi "https://doi.org/10.1007/978-3-642-31424-7_49" @default.
- W16815560 hasPublicationYear "2012" @default.
- W16815560 type Work @default.
- W16815560 sameAs 16815560 @default.
- W16815560 citedByCount "37" @default.
- W16815560 countsByYear W168155602013 @default.
- W16815560 countsByYear W168155602014 @default.
- W16815560 countsByYear W168155602015 @default.
- W16815560 countsByYear W168155602016 @default.
- W16815560 countsByYear W168155602017 @default.
- W16815560 countsByYear W168155602018 @default.
- W16815560 countsByYear W168155602019 @default.
- W16815560 countsByYear W168155602020 @default.
- W16815560 countsByYear W168155602021 @default.
- W16815560 countsByYear W168155602022 @default.
- W16815560 crossrefType "book-chapter" @default.
- W16815560 hasAuthorship W16815560A5032057278 @default.
- W16815560 hasAuthorship W16815560A5041352997 @default.
- W16815560 hasAuthorship W16815560A5047487115 @default.
- W16815560 hasAuthorship W16815560A5057242516 @default.
- W16815560 hasAuthorship W16815560A5075152083 @default.
- W16815560 hasBestOaLocation W168155601 @default.
- W16815560 hasConcept C111472728 @default.
- W16815560 hasConcept C121684516 @default.
- W16815560 hasConcept C124304363 @default.
- W16815560 hasConcept C138885662 @default.
- W16815560 hasConcept C154945302 @default.
- W16815560 hasConcept C199360897 @default.
- W16815560 hasConcept C41008148 @default.
- W16815560 hasConceptScore W16815560C111472728 @default.
- W16815560 hasConceptScore W16815560C121684516 @default.
- W16815560 hasConceptScore W16815560C124304363 @default.
- W16815560 hasConceptScore W16815560C138885662 @default.
- W16815560 hasConceptScore W16815560C154945302 @default.
- W16815560 hasConceptScore W16815560C199360897 @default.
- W16815560 hasConceptScore W16815560C41008148 @default.
- W16815560 hasLocation W168155601 @default.
- W16815560 hasOpenAccess W16815560 @default.
- W16815560 hasPrimaryLocation W168155601 @default.
- W16815560 hasRelatedWork W137976737 @default.
- W16815560 hasRelatedWork W1504651774 @default.
- W16815560 hasRelatedWork W1565263828 @default.
- W16815560 hasRelatedWork W1999473061 @default.
- W16815560 hasRelatedWork W2052803392 @default.
- W16815560 hasRelatedWork W2068700777 @default.
- W16815560 hasRelatedWork W2135396778 @default.
- W16815560 hasRelatedWork W3160136729 @default.
- W16815560 hasRelatedWork W4243252198 @default.
- W16815560 hasRelatedWork W2611182424 @default.
- W16815560 isParatext "false" @default.
- W16815560 isRetracted "false" @default.
- W16815560 magId "16815560" @default.
- W16815560 workType "book-chapter" @default.