CPBPV: A Constraint-Programming Framework for Bounded Program Verification.

Hlne Collavizza, Michel Rueher, Pascal Van Hentenryck

Browse the full CP paper archive.