Constraint Programming and its applications to software verification:

• Application of constraints to program analysis
  • Constraint over floating point numbers
  • Program/specification non conformance detection
  • Automatic test data generation
• Constraints over continuous domains
  • Search
  • Global optimisation under constraints
  • Safe and rigorous global constraints

Claude Michel
I3S (UNSA-CNRS)
2000, route des lucioles
Les Algorithmes - bât. Euclide B
BP.121
06903 Sophia Antipolis - Cedex France

Claude DOT Michel AT unice DOT fr