Exploration of the Capabilities of Constraint Programming for Software Verification.

Hlne Collavizza, Michel Rueher

Browse the full TACAS paper archive.