Assume-guarantee validation for STE properties within an SVA environment.

Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham

Browse the full FMCAD paper archive.