Constraint solving for interpolation☆
Under an Elsevier user license
open archive
Keywords
Interpolation
Constraint solving
Hierarchical reasoning
Program verification
Cited by (0)
- ☆
This work is supported in part by the German Research Foundation (DFG) as a part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS), by the German Federal Ministry of Education and Research (BMBF) in the framework of the Verisoft project under grant 01 IS C38.
- 1
Tel.: +49 89 289 17209; fax: +49 89 289 17207.
Copyright © 2010 Elsevier Ltd.