Samuel Devulder

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

Publications

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
A dynamic constraint-based BMC strategy for generating counterexamples. SAC (2011)
S. Dellacherie, Samuel Devulder, Jean-Luc Lambert
Software Verification Based on Linear Programming. World Congress on Formal Methods (1999)
Samuel Devulder, Jean-Luc Lambert
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE (1999)