140
click to vote
FMCAD
2007
Springer
16 years 16 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...