CPBVP: A Constraint-Programming Framework for Bounded Program Verification

15 July 2008

Papers citing "CPBVP: A Constraint-Programming Framework for Bounded Program Verification"

5 / 5 papers shown

Title
Exploration of the scalability of LocFaults M. Bekkouche LRM 29 0 0 18 Mar 2015
Exploration of the scalability of LocFaults approach for error localization with While-loops programs M. Bekkouche LRM 28 1 0 18 Mar 2015
Une approche CSP pour láide à la localisation dérreurs Mohammed Bekkouche Hélène Collavizza M. Rueher 83 3 0 25 Apr 2014
A Combined Approach for Constraints over Finite Domains and Arrays Sébastien Bardin A. Gotlieb 53 0 0 01 Dec 2013
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification Hélène Collavizza M. Rueher Pascal Van Hentenryck 95 7 0 11 Aug 2008