Assume-guarantee validation for STE properties within an SVA environment. - Zurab Khasidashvili; Gavriel Gavrielov; Tom Melham (FMCAD, 2009)