Matches in SemOpenAlex for { <https://semopenalex.org/work/W1627942016> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W1627942016 abstract "This report describes experimental results for a set of benchmarks on program verification. It compares the capabilities of CPBVP Constraint Programming framework for Bounded Program Verification [4] with the following frameworks: ESC/Java, CBMC, Blast, EUREKA and Why." @default.
- W1627942016 created "2016-06-24" @default.
- W1627942016 creator A5035808622 @default.
- W1627942016 creator A5057446428 @default.
- W1627942016 creator A5086425684 @default.
- W1627942016 date "2008-04-10" @default.
- W1627942016 modified "2023-09-24" @default.
- W1627942016 title "Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification" @default.
- W1627942016 cites W1562679818 @default.
- W1627942016 cites W1988095917 @default.
- W1627942016 cites W2096561672 @default.
- W1627942016 cites W2164279585 @default.
- W1627942016 cites W2604202109 @default.
- W1627942016 hasPublicationYear "2008" @default.
- W1627942016 type Work @default.
- W1627942016 sameAs 1627942016 @default.
- W1627942016 citedByCount "2" @default.
- W1627942016 countsByYear W16279420162012 @default.
- W1627942016 crossrefType "posted-content" @default.
- W1627942016 hasAuthorship W1627942016A5035808622 @default.
- W1627942016 hasAuthorship W1627942016A5057446428 @default.
- W1627942016 hasAuthorship W1627942016A5086425684 @default.
- W1627942016 hasBestOaLocation W16279420161 @default.
- W1627942016 hasConcept C134306372 @default.
- W1627942016 hasConcept C199360897 @default.
- W1627942016 hasConcept C33923547 @default.
- W1627942016 hasConcept C34388435 @default.
- W1627942016 hasConcept C41008148 @default.
- W1627942016 hasConcept C548217200 @default.
- W1627942016 hasConceptScore W1627942016C134306372 @default.
- W1627942016 hasConceptScore W1627942016C199360897 @default.
- W1627942016 hasConceptScore W1627942016C33923547 @default.
- W1627942016 hasConceptScore W1627942016C34388435 @default.
- W1627942016 hasConceptScore W1627942016C41008148 @default.
- W1627942016 hasConceptScore W1627942016C548217200 @default.
- W1627942016 hasLocation W16279420161 @default.
- W1627942016 hasLocation W16279420162 @default.
- W1627942016 hasLocation W16279420163 @default.
- W1627942016 hasOpenAccess W1627942016 @default.
- W1627942016 hasPrimaryLocation W16279420161 @default.
- W1627942016 hasRelatedWork W1481383228 @default.
- W1627942016 hasRelatedWork W1493446239 @default.
- W1627942016 hasRelatedWork W1546517032 @default.
- W1627942016 hasRelatedWork W1825982205 @default.
- W1627942016 hasRelatedWork W1979547103 @default.
- W1627942016 hasRelatedWork W2000780397 @default.
- W1627942016 hasRelatedWork W2020120252 @default.
- W1627942016 hasRelatedWork W2137409926 @default.
- W1627942016 hasRelatedWork W4254917997 @default.
- W1627942016 hasRelatedWork W2528467228 @default.
- W1627942016 isParatext "false" @default.
- W1627942016 isRetracted "false" @default.
- W1627942016 magId "1627942016" @default.
- W1627942016 workType "article" @default.