@misc{8883,
  keywords = {Workshop},
  author = {Catherine Dubois and Arnaud Gotlieb},
  title = {Towards an Effective Formally Certified Constraint Solver},
  abstract = {When used to verify safety-critical properties of a software system, the answers provided by a CP-based constraint solver must be formally certied through trusted and faithful methodologies. In such cases, one has often to formally verify that a constraint system is unsatisable, as it is required to prove that no reachable states can violate the property to be ensured. Unfortunately, proving that a constraint system is unsatisable is much more complex for a CP-solver than checking a possible solution.},
  year = {2014},
  journal = {Selected talk at the {\textquoteright}Verification meets CP{\textquoteright} 2014 workshop, Lyon, France},
}