Matches in SemOpenAlex for { <https://semopenalex.org/work/W66562016> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W66562016 endingPage "407" @default.
- W66562016 startingPage "405" @default.
- W66562016 abstract "We have implemented an improved memory model for ESBMC which better takes into account C’s memory alignment rules and optimizes the generated SMT formulae. This simultaneously improves ESBMC’s precision and performance." @default.
- W66562016 created "2016-06-24" @default.
- W66562016 creator A5007767857 @default.
- W66562016 creator A5028332224 @default.
- W66562016 creator A5057689302 @default.
- W66562016 creator A5082741874 @default.
- W66562016 creator A5091219322 @default.
- W66562016 date "2014-01-01" @default.
- W66562016 modified "2023-09-24" @default.
- W66562016 title "ESBMC 1.22" @default.
- W66562016 cites W101476423 @default.
- W66562016 cites W1517351977 @default.
- W66562016 cites W175421034 @default.
- W66562016 cites W2119142490 @default.
- W66562016 cites W2949558051 @default.
- W66562016 cites W4243326882 @default.
- W66562016 doi "https://doi.org/10.1007/978-3-642-54862-8_31" @default.
- W66562016 hasPublicationYear "2014" @default.
- W66562016 type Work @default.
- W66562016 sameAs 66562016 @default.
- W66562016 citedByCount "25" @default.
- W66562016 countsByYear W665620162015 @default.
- W66562016 countsByYear W665620162016 @default.
- W66562016 countsByYear W665620162017 @default.
- W66562016 countsByYear W665620162018 @default.
- W66562016 countsByYear W665620162019 @default.
- W66562016 countsByYear W665620162020 @default.
- W66562016 countsByYear W665620162021 @default.
- W66562016 countsByYear W665620162022 @default.
- W66562016 crossrefType "book-chapter" @default.
- W66562016 hasAuthorship W66562016A5007767857 @default.
- W66562016 hasAuthorship W66562016A5028332224 @default.
- W66562016 hasAuthorship W66562016A5057689302 @default.
- W66562016 hasAuthorship W66562016A5082741874 @default.
- W66562016 hasAuthorship W66562016A5091219322 @default.
- W66562016 hasBestOaLocation W665620161 @default.
- W66562016 hasConcept C11413529 @default.
- W66562016 hasConcept C173608175 @default.
- W66562016 hasConcept C199360897 @default.
- W66562016 hasConcept C33923547 @default.
- W66562016 hasConcept C41008148 @default.
- W66562016 hasConcept C94375191 @default.
- W66562016 hasConceptScore W66562016C11413529 @default.
- W66562016 hasConceptScore W66562016C173608175 @default.
- W66562016 hasConceptScore W66562016C199360897 @default.
- W66562016 hasConceptScore W66562016C33923547 @default.
- W66562016 hasConceptScore W66562016C41008148 @default.
- W66562016 hasConceptScore W66562016C94375191 @default.
- W66562016 hasLocation W665620161 @default.
- W66562016 hasOpenAccess W66562016 @default.
- W66562016 hasPrimaryLocation W665620161 @default.
- W66562016 hasRelatedWork W2112962394 @default.
- W66562016 hasRelatedWork W2117014006 @default.
- W66562016 hasRelatedWork W2118300983 @default.
- W66562016 hasRelatedWork W2372170743 @default.
- W66562016 hasRelatedWork W2382501300 @default.
- W66562016 hasRelatedWork W3137189469 @default.
- W66562016 hasRelatedWork W3162240892 @default.
- W66562016 hasRelatedWork W4233815414 @default.
- W66562016 hasRelatedWork W4235530921 @default.
- W66562016 hasRelatedWork W4243252198 @default.
- W66562016 isParatext "false" @default.
- W66562016 isRetracted "false" @default.
- W66562016 magId "66562016" @default.
- W66562016 workType "book-chapter" @default.