Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification

Simple item page
dc.creatorCollavizza, Hélène
dc.creatorRueher, Michel
dc.creatorVan Hentenryck, Pascal
dc.date2008-08-11
dc.date.accessioned2026-07-07T09:56:00Z
dc.date.available2026-07-07T09:56:00Z
dc.descriptionThis 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.
dc.identifierhttps://arxiv.org/abs/0808.1508
dc.identifierhttp://arxiv.org/abs/0808.1508
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/166830
dc.subjectSoftware Engineering
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.titleComparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
dc.typetext

Files

Collections

arXiv