Open AccessCPBVP: A Constraint-Programming Framework for Bounded Program Verification
Author(s) -
Hélène Collavizza,
Michel Rueher,
Pascal Van Hentenryck
Publication year - 2008
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , bounded function , constraint programming , programming language , constraint (computer aided design) , constraint logic programming , constraint satisfaction , theoretical computer science , mathematical optimization , mathematics , artificial intelligence , stochastic programming , mathematical analysis , geometry , probabilistic logic