75 search results - page 1 / 15 » Program interpolation |
CADE
2010
Springer
13 years 5 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
ECOI
2006
13 years 4 months ago
2006
Ecological data can be difficult to collect, and as a result, some important temporal ecological datasets contain irregularly sampled data. Since many temporal modelling technique...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
ICALP
1999
Springer
13 years 9 months ago
1999
Springer
IFIP
2000
Springer
13 years 8 months ago
2000
Springer