Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148050168> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2148050168 abstract "Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space explosion problem. The second is abstract interpretation, which is usually much less demanding, but often returns a high number of false positives. We present Loopfrog, a static analyzer that combines the best of both worlds: the precision of model checking and the performance of abstract interpretation. In contrast to traditional static analyzers, it also provides `leaping' counterexamples to aid in the diagnosis of errors." @default.
- W2148050168 created "2016-06-24" @default.
- W2148050168 creator A5008065614 @default.
- W2148050168 creator A5016596256 @default.
- W2148050168 creator A5018618502 @default.
- W2148050168 creator A5075152083 @default.
- W2148050168 creator A5077994094 @default.
- W2148050168 date "2009-11-01" @default.
- W2148050168 modified "2023-10-03" @default.
- W2148050168 title "Loopfrog: A Static Analyzer for ANSI-C Programs" @default.
- W2148050168 cites W1600009974 @default.
- W2148050168 cites W1987289444 @default.
- W2148050168 cites W2043100293 @default.
- W2148050168 cites W2139668965 @default.
- W2148050168 cites W2158798798 @default.
- W2148050168 doi "https://doi.org/10.1109/ase.2009.35" @default.
- W2148050168 hasPublicationYear "2009" @default.
- W2148050168 type Work @default.
- W2148050168 sameAs 2148050168 @default.
- W2148050168 citedByCount "9" @default.
- W2148050168 countsByYear W21480501682012 @default.
- W2148050168 countsByYear W21480501682013 @default.
- W2148050168 countsByYear W21480501682023 @default.
- W2148050168 crossrefType "proceedings-article" @default.
- W2148050168 hasAuthorship W2148050168A5008065614 @default.
- W2148050168 hasAuthorship W2148050168A5016596256 @default.
- W2148050168 hasAuthorship W2148050168A5018618502 @default.
- W2148050168 hasAuthorship W2148050168A5075152083 @default.
- W2148050168 hasAuthorship W2148050168A5077994094 @default.
- W2148050168 hasConcept C110251889 @default.
- W2148050168 hasConcept C11413529 @default.
- W2148050168 hasConcept C118615104 @default.
- W2148050168 hasConcept C154945302 @default.
- W2148050168 hasConcept C158007255 @default.
- W2148050168 hasConcept C162838799 @default.
- W2148050168 hasConcept C199360897 @default.
- W2148050168 hasConcept C2776502983 @default.
- W2148050168 hasConcept C2777904410 @default.
- W2148050168 hasConcept C2780654840 @default.
- W2148050168 hasConcept C33923547 @default.
- W2148050168 hasConcept C41008148 @default.
- W2148050168 hasConcept C48103436 @default.
- W2148050168 hasConcept C527412718 @default.
- W2148050168 hasConcept C64869954 @default.
- W2148050168 hasConcept C76155785 @default.
- W2148050168 hasConcept C97686452 @default.
- W2148050168 hasConceptScore W2148050168C110251889 @default.
- W2148050168 hasConceptScore W2148050168C11413529 @default.
- W2148050168 hasConceptScore W2148050168C118615104 @default.
- W2148050168 hasConceptScore W2148050168C154945302 @default.
- W2148050168 hasConceptScore W2148050168C158007255 @default.
- W2148050168 hasConceptScore W2148050168C162838799 @default.
- W2148050168 hasConceptScore W2148050168C199360897 @default.
- W2148050168 hasConceptScore W2148050168C2776502983 @default.
- W2148050168 hasConceptScore W2148050168C2777904410 @default.
- W2148050168 hasConceptScore W2148050168C2780654840 @default.
- W2148050168 hasConceptScore W2148050168C33923547 @default.
- W2148050168 hasConceptScore W2148050168C41008148 @default.
- W2148050168 hasConceptScore W2148050168C48103436 @default.
- W2148050168 hasConceptScore W2148050168C527412718 @default.
- W2148050168 hasConceptScore W2148050168C64869954 @default.
- W2148050168 hasConceptScore W2148050168C76155785 @default.
- W2148050168 hasConceptScore W2148050168C97686452 @default.
- W2148050168 hasLocation W21480501681 @default.
- W2148050168 hasOpenAccess W2148050168 @default.
- W2148050168 hasPrimaryLocation W21480501681 @default.
- W2148050168 hasRelatedWork W1490031831 @default.
- W2148050168 hasRelatedWork W1593349323 @default.
- W2148050168 hasRelatedWork W1606065864 @default.
- W2148050168 hasRelatedWork W1843794072 @default.
- W2148050168 hasRelatedWork W2294017319 @default.
- W2148050168 hasRelatedWork W2404060219 @default.
- W2148050168 hasRelatedWork W2998594779 @default.
- W2148050168 hasRelatedWork W4206726327 @default.
- W2148050168 hasRelatedWork W4231425278 @default.
- W2148050168 hasRelatedWork W2789178056 @default.
- W2148050168 isParatext "false" @default.
- W2148050168 isRetracted "false" @default.
- W2148050168 magId "2148050168" @default.
- W2148050168 workType "article" @default.