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

Hélène Collavizza Michel Rueher Pascal Van Hentenryck Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification http://arxiv.org/abs/0808.1508 2008 CoRR abs/0808.1508 db/journals/corr/corr0808.html#abs-0808-1508 informal publication